Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

Veure altres versions (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...

Descripció completa

Dades bibliogràfiques
Autors principals:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Altres autors:	Flanagan, C
Format:	Journal article
Idioma:	English
Publicat:	Springer 2012

Ítems similars

Automatic Verification of Competitive Stochastic Systems
per: Chen, T, et al.
Publicat: (2012)

Automatic Verification of Competitive Stochastic Systems
per: Chen, T, et al.
Publicat: (2011)

Automatic verification of competitive stochastic systems
per: Simaitis, A
Publicat: (2014)

Automatic verification of concurrent stochastic systems
per: Kwiatkowska, M, et al.
Publicat: (2021)

On Stochastic Games with Multiple Objectives
per: Chen, T, et al.
Publicat: (2013)

PLAYING STOCHASTIC GAMES PRECISELY
per: Chen, T, et al.
Publicat: (2012)

Playing Stochastic Games Precisely
per: Chen, T, et al.
Publicat: (2012)

Automated Verification Techniques for Probabilistic Systems.
per: Forejt, V, et al.
Publicat: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
per: Forejt, V, et al.
Publicat: (2012)

Quantitative Multi-objective Verification for Probabilistic Systems.
per: Forejt, V, et al.
Publicat: (2011)

Automated verification of concurrent stochastic games
per: Kwiatkowska, M, et al.
Publicat: (2018)

Multi-player equilibria verification for concurrent stochastic games
per: Kwiatkowska, M, et al.
Publicat: (2020)

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

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

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

Quantitative verification and strategy synthesis of stochastic games
per: Svorenova, M, et al.
Publicat: (2016)

Automatic verification of stochastic processes: certification of building automation systems
per: Cauchi, NM
Publicat: (2019)

Verifying Team Formation Protocols with Probabilistic Model Checking
per: Chen, T, et al.
Publicat: (2011)

Compositional Verification of Probabilistic Systems using Learning
per: Feng, L, et al.
Publicat: (2010)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
per: Barbot, B, et al.
Publicat: (2015)

Strategic Analysis of Trust Models for User-Centric Networks
per: Marta Kwiatkowska, et al.
Publicat: (2013-03-01)

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

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

PRISM 4.0: Verification of probabilistic real-time systems
per: Kwiatkowska, M, et al.
Publicat: (2011)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
per: Feng, L, et al.
Publicat: (2011)

Runtime verification for stochastic systems
per: Wilcox, Cristina M
Publicat: (2010)

Reachability in Stochastic Timed Games.
per: Bouyer, P, et al.
Publicat: (2009)

Decidability results for multi-objective stochastic games
per: Brenguier, R, et al.
Publicat: (2016)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
per: Brázdil, T, et al.
Publicat: (2008)

Permissive Controller Synthesis for Probabilistic Systems
per: Klaus Drager, et al.
Publicat: (2015-06-01)

Verification and control of turn-based probabilistic real-time games
per: Kwiatkowska, M, et al.
Publicat: (2019)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
per: Santos, GHR
Publicat: (2020)

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

Expectation vs. reality: towards verification of psychological games
per: Kwiatkowska, M, et al.
Publicat: (2024)

Bayesian verification of stochastic models in systems biology
per: Molyneux, GW
Publicat: (2020)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
per: Kwiatkowska, M
Publicat: (2016)

Compositional probabilistic verification through multi-objective model checking
per: Kwiatkowska, M, et al.
Publicat: (2013)

Automatic Verification of Serializers
per: Atkinson, Russ R.
Publicat: (2023)

Design and development of an automatic fingerprint verification system
per: Sulong, Ghazali
Publicat: (2005)

Design and development of an automatic fingerprint verification system /
per: Ghazali Sulong, 1958-, et al.
Publicat: (2007)