Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke. Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 287-300, Springer, 2007. [doi]
Abstract is missing.