Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar. A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. In Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, Miami, FL, USA, April 7-9, 2014. pages 30-35, IEEE, 2014. [doi]
Abstract is missing.