Two-player reachability-price games on single-clock timed automata

MaRDI QIDQ4965809zbMATH OpenFDO

Authors Michał Rutkowski

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1107.1199, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) 2-person games (91A05)

Recommendations

• Reachability-Time Games on Timed Automata
• Formal Modeling and Analysis of Timed Systems
• Simple priced timed games are not that simple
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Minimum-Time Reachability in Timed Games

Cited in

(16)

• Expected reachability-price games
• A faster algorithm for solving one-clock priced timed games
• Timed automata with observers under energy constraints
• Average-time games
• Model Checking Real-Time Systems
• Adding negative prices to priced timed games
• Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
• Symbolic Approximation of Weighted Timed Games
• One-clock priced timed games with negative weights
• Simple priced timed games are not that simple
• Minimum-Time Reachability in Timed Games
• Reachability-Time Games on Timed Automata
• Optimal controller synthesis for timed systems
• Inaproximability in weighted timed games
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• Decidability of one-clock weighted timed games with arbitrary weights

This page was built for publication: Two-player reachability-price games on single-clock timed automata

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