Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Andre forfattere:	Flanagan, C
Format:	Journal article
Sprog:	English
Udgivet:	Springer 2012

Lignende værker

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

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

Automatic verification of competitive stochastic systems
af: Simaitis, A
Udgivet: (2014)

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

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

PLAYING STOCHASTIC GAMES PRECISELY
af: Chen, T, et al.
Udgivet: (2012)

Playing Stochastic Games Precisely
af: Chen, T, et al.
Udgivet: (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Runtime verification for stochastic systems
af: Wilcox, Cristina M
Udgivet: (2010)

Reachability in Stochastic Timed Games.
af: Bouyer, P, et al.
Udgivet: (2009)

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

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

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

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

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

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

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

Bayesian verification of stochastic models in systems biology
af: Molyneux, GW
Udgivet: (2020)

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

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

Automatic Verification of Serializers
af: Atkinson, Russ R.
Udgivet: (2023)

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

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