Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.

Dingbao Xie, Lei Bu, Xuandong Li

Browse the full RTSS paper archive.