Automatic Verification of Competitive Stochastic Systems

Automatic Verification of Competitive Stochastic Systems

Show other versions (3)

Bibliographic Details
Main Authors:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Format:	Report
Published:	DCS 2011

Similar Items

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

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

Automatic verification of competitive stochastic systems
by: Simaitis, A
Published: (2014)

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

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

PLAYING STOCHASTIC GAMES PRECISELY
by: Chen, T, et al.
Published: (2012)

Playing Stochastic Games Precisely
by: Chen, T, et al.
Published: (2012)

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

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

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

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

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

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

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

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

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

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

Runtime verification for stochastic systems
by: Wilcox, Cristina M
Published: (2010)

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

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

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

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

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

Automatic Verification of Serializers
by: Atkinson, Russ R.
Published: (2023)

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

Reachability in Stochastic Timed Games.
by: Bouyer, P, et al.
Published: (2009)

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

Bayesian verification of stochastic models in systems biology
by: Molyneux, GW
Published: (2020)

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

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

Automatic verification of pipelined microprocessors
by: Bhagwati, Vishal Lalit
Published: (2006)

Automatic on-line signature verification
by: Ma, Mingming
Published: (2008)

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

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

Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013)

Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013)

Automatic Verification of Erlang−Style Concurrency
by: D’Osualdo, E, et al.
Published: (2013)

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

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

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