Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li. HAT: Analyzing Linear Hybrid Automata as Labelled Transition System. In Cliff B. Jones, Ji Wang, Naijun Zhan, editors, Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Volume 11180 of Lecture Notes in Computer Science, pages 85-104, Springer, 2017. [doi]
Abstract is missing.