Concavely-Priced Timed Automata

DOI10.1007/978-3-540-85778-5_5zbMath1171.68529OpenAlexW1842622063MaRDI QIDQ3543287

Marcin Jurdziński, Ashutosh Trivedi

Publication date: 2 December 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85778-5_5

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Related Items (4)

Model measuring for discrete and hybrid systems ⋮ Concavely-Priced Probabilistic Timed Automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Quantitative analysis of weighted transition systems

Cites Work

• Optimal paths in weighted timed automata
• Minimum and maximum delay problems in real-time systems
• Model-checking in dense real-time
• A theory of timed automata
• Decidable integration graphs.
• On the optimal reachability problem of weighted timed automata
• Optimal infinite scheduling for multi-priced timed automata
• Minimum-Time Reachability in Timed Games
• Reachability-Time Games on Timed Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Concavely-Priced Timed Automata