CONTROLLER SYNTHESIS FOR TIMED AUTOMATA

by Eugene Asarin , Oded Maler , Amir Pnueli , Joseph Sifakis
Citations:123 - 14 self