Stochastic Games for Verification of Probabilistic Timed Automata

DOI10.1007/978-3-642-04368-0_17zbMath1262.68125MaRDI QIDQ3648833

No author found.

Publication date: 1 December 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04368-0_17

Mathematics Subject Classification ID

91A80: Applications of game theory

91A15: Stochastic games, stochastic differential games

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Safety verification for probabilistic hybrid systems, A game-based abstraction-refinement framework for Markov decision processes, An extension of the inverse method to probabilistic timed automata, Model checking for probabilistic timed automata, Local abstraction refinement for probabilistic timed programs, Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata, Stochastic Games for Verification of Probabilistic Timed Automata

Uses Software

• Kronos
• Uppaal

Cites Work

• Unnamed Item
• A game-based abstraction-refinement framework for Markov decision processes
• Checking timed Büchi automata emptiness efficiently
• Performance analysis of probabilistic timed automata using digital clocks
• The complexity of stochastic games
• Symbolic model checking for real-time systems
• Automatic verification of real-time systems with discrete probability distributions.
• On probabilistic timed automata.
• Uppaal in a nutshell
• Symbolic model checking for probabilistic timed automata
• Automatic Abstraction Refinement for Timed Automata
• Abstraction Refinement for Probabilistic Software
• Stochastic Games for Verification of Probabilistic Timed Automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Stochastic Games