Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge.

Anca Muscholl, Sven Schewe

Browse the full MFCS paper archive.