Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Browse the full LATA paper archive.