Verification and control of turn-based probabilistic real-time games

Verification and control of turn-based probabilistic real-time games

Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their variants. They can be used to produce guarantees on quantitative aspects of system behaviour, for example safety, reliabilit...

Bibliografiset tiedot
Päätekijät:	Kwiatkowska, M, Norman, G, Parker, D
Aineistotyyppi:	Conference item
Julkaistu:	Springer Verlag 2019

Samankaltaisia teoksia

PRISM 4.0: Verification of probabilistic real-time systems
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2011)

Symbolic verification and strategy synthesis for turn-based stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2022)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2017)

Automated Verification Techniques for Probabilistic Systems.
Tekijä: Forejt, V, et al.
Julkaistu: (2011)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2020)

Game−Based Probabilistic Predicate Abstraction in PRISM
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2008)

Quantitative Multi-objective Verification for Probabilistic Systems.
Tekijä: Forejt, V, et al.
Julkaistu: (2011)

Compositional probabilistic verification through multi-objective model checking
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2013)

Equilibria-based probabilistic model checking for concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2019)

Automated verification of concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2018)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
Tekijä: Feng, L, et al.
Julkaistu: (2011)

Multi-player equilibria verification for concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2020)

Expectation vs. reality: towards verification of psychological games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2024)

Compositional Verification of Probabilistic Systems using Learning
Tekijä: Feng, L, et al.
Julkaistu: (2010)

Probabilistic model checking and autonomy
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2021)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2017)

Verification and Refutation of Probabilistic Specifications via Games
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2009)

Multi-agent verification and control with probabilistic model checking
Tekijä: Parker, D
Julkaistu: (2023)

Probabilistic mobile ambients
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Tekijä: Jovanovic, A, et al.
Julkaistu: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Tekijä: Jovanović, A, et al.
Julkaistu: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Tekijä: Jovanović, A, et al.
Julkaistu: (2014)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
Tekijä: Jovanovic, A, et al.
Julkaistu: (2017)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
Tekijä: Jurdzinski, M, et al.
Julkaistu: (2009)

Automatic verification of concurrent stochastic systems
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2021)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
Tekijä: Chen, T, et al.
Julkaistu: (2011)

Local abstraction refinement for probabilistic timed programs
Tekijä: Dräger, K, et al.
Julkaistu: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2022)

Quantitative verification and strategy synthesis of stochastic games
Tekijä: Svorenova, M, et al.
Julkaistu: (2016)

Abstraction Refinement for Probabilistic Software
Tekijä: Kwiatkowska, G, et al.
Julkaistu: (2009)

Probabilistic model checking of complex biological pathways
Tekijä: Heath, J, et al.
Julkaistu: (2008)

Permissive controller synthesis for probabilistic systems
Tekijä: Dräger, K, et al.
Julkaistu: (2015)

Permissive controller synthesis for probabilistic systems
Tekijä: Dräger, K, et al.
Julkaistu: (2014)

Rational verification: game-theoretic verification of multi-agent systems
Tekijä: Abate, A, et al.
Julkaistu: (2021)

A game-based abstraction-refinement framework for Markov decision processes
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2010)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2008)

Expected Reachability−Time Games
Tekijä: Forejt, V, et al.
Julkaistu: (2010)

Expected reachability-time games
Tekijä: Forejt, V, et al.
Julkaistu: (2016)

Expected Reachability-Time Games.
Tekijä: Forejt, V, et al.
Julkaistu: (2010)