Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

Показать другие версии (3)

We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular...

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

Библиографические подробности
Главные авторы:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Другие авторы:	Flanagan, C
Формат:	Journal article
Язык:	English
Опубликовано:	Springer 2012

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

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

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

Automatic verification of competitive stochastic systems
по: Simaitis, A
Опубликовано: (2014)

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

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

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

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

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

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
по: Forejt, V, и др.
Опубликовано: (2012)

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

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

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

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)

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

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

Automatic verification of stochastic processes: certification of building automation systems
по: Cauchi, NM
Опубликовано: (2019)

Verifying Team Formation Protocols with Probabilistic Model Checking
по: Chen, T, и др.
Опубликовано: (2011)

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

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

Strategic Analysis of Trust Models for User-Centric Networks
по: Marta Kwiatkowska, и др.
Опубликовано: (2013-03-01)

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

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

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

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

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

Reachability in Stochastic Timed Games.
по: Bouyer, P, и др.
Опубликовано: (2009)

Decidability results for multi-objective stochastic games
по: Brenguier, R, и др.
Опубликовано: (2016)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
по: Brázdil, T, и др.
Опубликовано: (2008)

Permissive Controller Synthesis for Probabilistic Systems
по: Klaus Drager, и др.
Опубликовано: (2015-06-01)

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

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

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

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

Bayesian verification of stochastic models in systems biology
по: Molyneux, GW
Опубликовано: (2020)

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

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

Automatic Verification of Serializers
по: Atkinson, Russ R.
Опубликовано: (2023)

Design and development of an automatic fingerprint verification system
по: Sulong, Ghazali
Опубликовано: (2005)

Design and development of an automatic fingerprint verification system /
по: Ghazali Sulong, 1958-, и др.
Опубликовано: (2007)