Maximally Permissive Controlled System Synthesis for Modal Logic.

Allan van Hulst, Michel A. Reniers, Wan J. Fokkink

Browse the full SOFSEM paper archive.