Controller Synthesis for Timed Automata

Cite this paper

@inproceedings{Asarin1998ControllerSF, title={Controller Synthesis for Timed Automata}, author={Eugene Asarin and Oded Maler and Amir Pnueli and Joseph Sifakis}, year={1998} }