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...

Полное описание

Библиографические подробности
Главные авторы:	Kwiatkowska, M, Norman, G, Parker, D
Формат:	Conference item
Опубликовано:	Springer Verlag 2019

Схожие документы

PRISM 4.0: Verification of probabilistic real-time systems
по: Kwiatkowska, M, и др.
Опубликовано: (2011)

Symbolic verification and strategy synthesis for turn-based stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2022)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
по: Kwiatkowska, M, и др.
Опубликовано: (2017)

Automated Verification Techniques for Probabilistic Systems.
по: Forejt, V, и др.
Опубликовано: (2011)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
по: Kwiatkowska, M, и др.
Опубликовано: (2020)

Game−Based Probabilistic Predicate Abstraction in PRISM
по: Kattenbelt, M, и др.
Опубликовано: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
по: Kattenbelt, M, и др.
Опубликовано: (2008)

Quantitative Multi-objective Verification for Probabilistic Systems.
по: Forejt, V, и др.
Опубликовано: (2011)

Compositional probabilistic verification through multi-objective model checking
по: Kwiatkowska, M, и др.
Опубликовано: (2013)

Equilibria-based probabilistic model checking for concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2019)

Automated verification of concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2018)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
по: Feng, L, и др.
Опубликовано: (2011)

Multi-player equilibria verification for concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2020)

Expectation vs. reality: towards verification of psychological games
по: Kwiatkowska, M, и др.
Опубликовано: (2024)

Compositional Verification of Probabilistic Systems using Learning
по: Feng, L, и др.
Опубликовано: (2010)

Probabilistic model checking and autonomy
по: Kwiatkowska, M, и др.
Опубликовано: (2021)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
по: Kwiatkowska, M, и др.
Опубликовано: (2017)

Verification and Refutation of Probabilistic Specifications via Games
по: Kattenbelt, M, и др.
Опубликовано: (2009)

Multi-agent verification and control with probabilistic model checking
по: Parker, D
Опубликовано: (2023)

Probabilistic mobile ambients
по: Kwiatkowska, M, и др.
Опубликовано: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
по: Jovanovic, A, и др.
Опубликовано: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
по: Jovanović, A, и др.
Опубликовано: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
по: Jovanović, A, и др.
Опубликовано: (2014)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
по: Jovanovic, A, и др.
Опубликовано: (2017)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
по: Jurdzinski, M, и др.
Опубликовано: (2009)

Automatic verification of concurrent stochastic systems
по: Kwiatkowska, M, и др.
Опубликовано: (2021)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
по: Chen, T, и др.
Опубликовано: (2011)

Local abstraction refinement for probabilistic timed programs
по: Dräger, K, и др.
Опубликовано: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
по: Kwiatkowska, M, и др.
Опубликовано: (2022)

Quantitative verification and strategy synthesis of stochastic games
по: Svorenova, M, и др.
Опубликовано: (2016)

Abstraction Refinement for Probabilistic Software
по: Kwiatkowska, G, и др.
Опубликовано: (2009)

Probabilistic model checking of complex biological pathways
по: Heath, J, и др.
Опубликовано: (2008)

Permissive controller synthesis for probabilistic systems
по: Dräger, K, и др.
Опубликовано: (2015)

Permissive controller synthesis for probabilistic systems
по: Dräger, K, и др.
Опубликовано: (2014)

Rational verification: game-theoretic verification of multi-agent systems
по: Abate, A, и др.
Опубликовано: (2021)

A game-based abstraction-refinement framework for Markov decision processes
по: Kattenbelt, M, и др.
Опубликовано: (2010)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
по: Kattenbelt, M, и др.
Опубликовано: (2008)

Expected Reachability−Time Games
по: Forejt, V, и др.
Опубликовано: (2010)

Expected reachability-time games
по: Forejt, V, и др.
Опубликовано: (2016)

Expected Reachability-Time Games.
по: Forejt, V, и др.
Опубликовано: (2010)