Synthesis of Succinct Systems.

John Fearnley, Doron A. Peled, Sven Schewe

Browse the full ATVA paper archive.