Synthesis from Knowledge-Based Specifications (Extended Abstract).

Ron van der Meyden, Moshe Y. Vardi

Browse the full CONCUR paper archive.