Logics for Hybrid Systems (2000)

by J. M. Davoren, Anil Nerode
Venue:Proceedings of the IEEE