Synthesizing Controllers for Hybrid Systems
International Workshop on Hybrid and Real-Time Systems, HART `97 , March 1997, Grenoble, France.
Deepak Kapur and R.K. Shyamasundar

To view the entire paper click here