Reachability Games on Recursive Hybrid Automata.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Browse the full TIME paper archive.