On the Synthesis of Discrete Controllers for Timed Systems

Cite this paper

@inproceedings{Maler1995OnTS, title={On the Synthesis of Discrete Controllers for Timed Systems}, author={Oded Maler and Amir Pnueli and Joseph Sifakis}, year={1995} }