- Grid automata and supervisory control of dense real-time discrete event systems Mustapha Nourelfath Ahmed Khoumsi Thu 06 February 2020
- The Element of Surprise in Timed Games Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Marielle Stoelinga Thu 06 February 2020
- Synthesis of timed systems Patricia Bouyer Thu 06 February 2020
- The control of dense real-time discrete event systems H. Wong-Toi G. Hoffmann Thu 06 February 2020
- On the synthesis of discrete controllers for timed systems Oded Maler Amir Pnueli Joseph Sifakis Thu 06 February 2020
- Controller Synthesis for Timed Automata Eugene Asarin Oded Maler Amir Pnueli Joseph Sifakis Fri 22 February 2019
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
