Quantitative verification and strategy synthesis of stochastic games

Quantitative verification and strategy synthesis of stochastic games

Design and control of computer systems that operate in uncertain, competitive or adversarial, environments can be facilitated by formal modelling and analysis. In this paper, we focus on analysis of complex computer systems modelled as turn-based 21/2-player games, or stochastic games for short, tha...

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

Библиографические подробности
Главные авторы:	Svorenova, M, Kwiatkowska, M
Формат:	Journal article
Опубликовано:	Elsevier 2016

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

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

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

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

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

Compositional strategy synthesis for stochastic games with multiple objectives
по: Basset, N, и др.
Опубликовано: (2017)

Model checking and strategy synthesis for stochastic games: from theory to practice
по: Kwiatkowska, M
Опубликовано: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
по: Kwiatkowska, M
Опубликовано: (2024)

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

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
по: Kwiatkowska, M
Опубликовано: (2016)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
по: Barbot, B, и др.
Опубликовано: (2015)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
по: Basset, N, и др.
Опубликовано: (2014)

Compositional Controller Synthesis for Stochastic Games
по: Basset, N, и др.
Опубликовано: (2014)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2016)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
по: Santos, GHR
Опубликовано: (2020)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
по: Yan, R, и др.
Опубликовано: (2024)

Quantitative Verification of Implantable Cardiac Pacemakers
по: Chen, T, и др.
Опубликовано: (2015)

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

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)

Automatic Verification of Competitive Stochastic Systems
по: Chen, T, и др.
Опубликовано: (2011)

Automatic Verification of Competitive Stochastic Systems.
по: Chen, T, и др.
Опубликовано: (2012)

Automatic Verification of Competitive Stochastic Systems
по: Chen, T, и др.
Опубликовано: (2012)

Assume-guarantee strategy synthesis for stochastic games
по: Wiltsche, C
Опубликовано: (2015)

Closed-loop quantitative verification of rate-adaptive pacemakers
по: Paoletti, N, и др.
Опубликовано: (2018)

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

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

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

On Stochastic Games with Multiple Objectives
по: Chen, T, и др.
Опубликовано: (2013)

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

PLAYING STOCHASTIC GAMES PRECISELY
по: Chen, T, и др.
Опубликовано: (2012)

Playing Stochastic Games Precisely
по: Chen, T, и др.
Опубликовано: (2012)

Verification and control of turn-based probabilistic real-time games
по: Kwiatkowska, M, и др.
Опубликовано: (2019)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
по: Chen, T, и др.
Опубликовано: (2013)

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
по: Svorenova, M, и др.
Опубликовано: (2016)

StocHy: automated verification and synthesis of stochastic processes
по: Cauchi, N, и др.
Опубликовано: (2019)

Correlated equilibria and fairness in concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2022)

Runtime verification for stochastic systems
по: Wilcox, Cristina M
Опубликовано: (2010)

Quantitative rational verification
по: Steeples, T
Опубликовано: (2023)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
по: Yan, R, и др.
Опубликовано: (2024)