Dingbao Xie, Lei Bu, Xuandong Li. Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. In Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014. pages 128-137, IEEE, 2014. [doi]
Abstract is missing.