Membership Questions for Timed and Hybrid Automata.

Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan

Browse the full RTSS paper archive.