On the Synthesis of Discrete Controllers for Timed Systems (1995)

by O MALER, A PNUELI, J SIFAKIS
Venue:Proc. 12th Symposium on Theoretical Aspects of Computer Science (STACS’95