CONTROLLER SYNTHESIS FOR TIMED AUTOMATA

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