Thao Dang, Oded Maler. Reachability Analysis via Face Lifting. In Thomas A. Henzinger, Shankar Sastry, editors, Hybrid Systems: Computation and Control, First International Workshop, HSCC 98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Volume 1386 of Lecture Notes in Computer Science, pages 96-109, Springer, 1998.
Abstract is missing.