Concavely-Priced Timed Automata

DOI10.1007/978-3-540-85778-5_5MaRDI QIDQ3543287zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Concavely-Priced Probabilistic Timed Automata
• scientific article; zbMATH DE number 1794367
• Optimal reachability for multi-priced timed automata
• Discount-optimal infinite runs in priced timed automata
• Foundations of Software Science and Computational Structures

Cites work

• A theory of timed automata
• Decidable integration graphs.
• scientific article; zbMATH DE number 1303059 (Why is no real title available?)
• scientific article; zbMATH DE number 1796155 (Why is no real title available?)
• scientific article; zbMATH DE number 1796156 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• scientific article; zbMATH DE number 2121575 (Why is no real title available?)
• scientific article; zbMATH DE number 3308846 (Why is no real title available?)
• Minimum and maximum delay problems in real-time systems
• Minimum-Time Reachability in Timed Games
• Model-checking in dense real-time
• On the optimal reachability problem of weighted timed automata
• Optimal infinite scheduling for multi-priced timed automata
• Optimal paths in weighted timed automata
• Reachability-Time Games on Timed Automata
• Weighted timed automata: model-checking and games

Cited in

(7)

• Model measuring for discrete and hybrid systems
• Optimal reachability for multi-priced timed automata
• Concavely-Priced Probabilistic Timed Automata
• A survey of timed automata for the development of real-time systems
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• Discounting in time
• Quantitative analysis of weighted transition systems

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

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