Symbolic reachability analysis of lazy linear hybrid automata, in (2007)

by S Jha, B A Brady, S A Seshia
Venue:Proceedings of 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2007), LNCS 4763, Springer,