Stochastic Games for Verification of Probabilistic Timed Automata

DOI10.1007/978-3-642-04368-0_17zbMath1262.68125OpenAlexW1590344134MaRDI 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

Applications of game theory (91A80) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (16)

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

This page was built for publication: Stochastic Games for Verification of Probabilistic Timed Automata