Priced timed automata: theory and tools

DOI10.4230/LIPICS.FSTTCS.2009.2337zbMATH Open1248.68335MaRDI QIDQ2920149FDOQ2920149

Authors: Kim G. Larsen 

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_c722.html

Recommendations

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1794367
• Costs and rewards in priced timed automata
• Concavely-Priced Probabilistic Timed Automata
• Costs and rewards in priced timed automata

zbMATH Keywords

optimal schedulinggamesmodel-checkingtimed systemspriced timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• A survey of timed automata for the development of real-time systems
• Monte Carlo tree search for priced timed automata
• Formal Methods for Components and Objects
• Concavely-Priced Probabilistic Timed Automata

Uses Software

• Kronos
• HyTech
• Uppaal

This page was built for publication: Priced timed automata: theory and tools

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