Priced timed automata: theory and tools

DOI10.4230/LIPICS.FSTTCS.2009.2337MaRDI QIDQ2920149zbMATHFDO

Authors Kim G. Larsen

Publication date 24 October 2012

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

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)

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

Cited in

(6)

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

Describes a project that uses

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)