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

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games, Safety verification for probabilistic hybrid systems, Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata, A game-based abstraction-refinement framework for Markov decision processes, Tweaking the odds in probabilistic timed automata, Formal verification and quantitative metrics of MPSoC data dynamics, An extension of the inverse method to probabilistic timed automata, Model checking for probabilistic timed automata, Local abstraction refinement for probabilistic timed programs, Parameter synthesis for probabilistic timed automata using stochastic game abstractions, Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata, Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata, Model Checking Probabilistic Systems, Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions, 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