The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Browse the full LATA paper archive.