On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).

Oded Maler, Amir Pnueli, Joseph Sifakis

Browse the full STACS paper archive.