Symbolic model checking for rectangular hybrid systems (2000)

by T A Henzinger, Rupak Majumdar
Venue:In Proceedings of the Sixth International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000