Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Browse the full LATA paper archive.