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

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Beste egile batzuk:	Flanagan, C
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	Springer 2012

Antzeko izenburuak

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

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

Automatic verification of competitive stochastic systems
nork: Simaitis, A
Argitaratua: (2014)

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

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

PLAYING STOCHASTIC GAMES PRECISELY
nork: Chen, T, et al.
Argitaratua: (2012)

Playing Stochastic Games Precisely
nork: Chen, T, et al.
Argitaratua: (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Runtime verification for stochastic systems
nork: Wilcox, Cristina M
Argitaratua: (2010)

Reachability in Stochastic Timed Games.
nork: Bouyer, P, et al.
Argitaratua: (2009)

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

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

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

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

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

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

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

Bayesian verification of stochastic models in systems biology
nork: Molyneux, GW
Argitaratua: (2020)

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

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

Automatic Verification of Serializers
nork: Atkinson, Russ R.
Argitaratua: (2023)

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

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