The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems

DOI10.1007/978-3-642-28332-1_6MaRDI QIDQ2890180zbMATH OpenOpenAlexFDO

Authors Mohamed Faouzi Atig, Jari Stenman, Parosh A. Abdulla

Publication date 8 June 2012

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28332-1_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1794367
• Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
• scientific article; zbMATH DE number 1796156
• Computing optimal reachability costs in priced dense-timed pushdown automata
• Optimal reachability for multi-priced timed automata
• Revisiting decidability and optimum reachability for multi-priced timed automata
• Foundations of Software Science and Computational Structures
• Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
• Costs and rewards in priced timed automata
• Costs and rewards in priced timed automata

Cited in

(10)

• Analyzing pushdown systems with stack manipulation
• Optimal reachability for multi-priced timed automata
• Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• Verifying quantitative temporal properties of procedural programs
• Revisiting underapproximate reachability for multipushdown systems
• Data multi-pushdown automata
• Towards an Efficient Tree Automata based technique for Timed Systems
• Average stack cost of Büchi pushdown automata
• Computing optimal reachability costs in priced dense-timed pushdown automata

This page was built for publication: The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890180)