Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

Näytä muut versiot (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...

Bibliografiset tiedot
Päätekijät:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Muut tekijät:	Flanagan, C
Aineistotyyppi:	Journal article
Kieli:	English
Julkaistu:	Springer 2012

Samankaltaisia teoksia

Automatic Verification of Competitive Stochastic Systems
Tekijä: Chen, T, et al.
Julkaistu: (2012)

Automatic Verification of Competitive Stochastic Systems
Tekijä: Chen, T, et al.
Julkaistu: (2011)

Automatic verification of competitive stochastic systems
Tekijä: Simaitis, A
Julkaistu: (2014)

Automatic verification of concurrent stochastic systems
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2021)

On Stochastic Games with Multiple Objectives
Tekijä: Chen, T, et al.
Julkaistu: (2013)

PLAYING STOCHASTIC GAMES PRECISELY
Tekijä: Chen, T, et al.
Julkaistu: (2012)

Playing Stochastic Games Precisely
Tekijä: Chen, T, et al.
Julkaistu: (2012)

Automated Verification Techniques for Probabilistic Systems.
Tekijä: Forejt, V, et al.
Julkaistu: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
Tekijä: Forejt, V, et al.
Julkaistu: (2012)

Quantitative Multi-objective Verification for Probabilistic Systems.
Tekijä: Forejt, V, et al.
Julkaistu: (2011)

Automated verification of concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2018)

Multi-player equilibria verification for concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2020)

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

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

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

Quantitative verification and strategy synthesis of stochastic games
Tekijä: Svorenova, M, et al.
Julkaistu: (2016)

Automatic verification of stochastic processes: certification of building automation systems
Tekijä: Cauchi, NM
Julkaistu: (2019)

Verifying Team Formation Protocols with Probabilistic Model Checking
Tekijä: Chen, T, et al.
Julkaistu: (2011)

Compositional Verification of Probabilistic Systems using Learning
Tekijä: Feng, L, et al.
Julkaistu: (2010)

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

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

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

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

PRISM 4.0: Verification of probabilistic real-time systems
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2011)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
Tekijä: Feng, L, et al.
Julkaistu: (2011)

Runtime verification for stochastic systems
Tekijä: Wilcox, Cristina M
Julkaistu: (2010)

Reachability in Stochastic Timed Games.
Tekijä: Bouyer, P, et al.
Julkaistu: (2009)

Decidability results for multi-objective stochastic games
Tekijä: Brenguier, R, et al.
Julkaistu: (2016)

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

Permissive Controller Synthesis for Probabilistic Systems
Tekijä: Klaus Drager, et al.
Julkaistu: (2015-06-01)

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

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

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

Expectation vs. reality: towards verification of psychological games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2024)

Bayesian verification of stochastic models in systems biology
Tekijä: Molyneux, GW
Julkaistu: (2020)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Tekijä: Kwiatkowska, M
Julkaistu: (2016)

Compositional probabilistic verification through multi-objective model checking
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2013)

Automatic Verification of Serializers
Tekijä: Atkinson, Russ R.
Julkaistu: (2023)

Design and development of an automatic fingerprint verification system
Tekijä: Sulong, Ghazali
Julkaistu: (2005)

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