Symbolic Controller Synthesis for Discrete and Timed Systems (1995)

by Eugene Asarin , Oded Maler , Amir Pnueli
Venue:Hybrid Systems II, LNCS 999
Citations:111 - 17 self