On The Reachability Problem for Recursive Hybrid Automata with One and Two Players

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Motivated by the success of bounded model checking framework for finite state machines, Ouaknine and Worrell proposed a time-bounded theory of real-time verification by claiming th…