Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Rannpháirtithe:	Flanagan, C
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Springer 2012

Míreanna comhchosúla

Automatic Verification of Competitive Stochastic Systems
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Automatic Verification of Competitive Stochastic Systems
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2011)

Automatic verification of competitive stochastic systems
de réir: Simaitis, A
Foilsithe / Cruthaithe: (2014)

Automatic verification of concurrent stochastic systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2021)

On Stochastic Games with Multiple Objectives
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2013)

PLAYING STOCHASTIC GAMES PRECISELY
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Playing Stochastic Games Precisely
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Automated Verification Techniques for Probabilistic Systems.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2012)

Quantitative Multi-objective Verification for Probabilistic Systems.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2011)

Automated verification of concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2018)

Multi-player equilibria verification for concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

Symbolic verification and strategy synthesis for turn-based stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

Quantitative verification and strategy synthesis of stochastic games
de réir: Svorenova, M, et al.
Foilsithe / Cruthaithe: (2016)

Automatic verification of stochastic processes: certification of building automation systems
de réir: Cauchi, NM
Foilsithe / Cruthaithe: (2019)

Verifying Team Formation Protocols with Probabilistic Model Checking
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2011)

Compositional Verification of Probabilistic Systems using Learning
de réir: Feng, L, et al.
Foilsithe / Cruthaithe: (2010)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
de réir: Barbot, B, et al.
Foilsithe / Cruthaithe: (2015)

Strategic Analysis of Trust Models for User-Centric Networks
de réir: Marta Kwiatkowska, et al.
Foilsithe / Cruthaithe: (2013-03-01)

Permissive controller synthesis for probabilistic systems
de réir: Dräger, K, et al.
Foilsithe / Cruthaithe: (2015)

Permissive controller synthesis for probabilistic systems
de réir: Dräger, K, et al.
Foilsithe / Cruthaithe: (2014)

PRISM 4.0: Verification of probabilistic real-time systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2011)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
de réir: Feng, L, et al.
Foilsithe / Cruthaithe: (2011)

Runtime verification for stochastic systems
de réir: Wilcox, Cristina M
Foilsithe / Cruthaithe: (2010)

Reachability in Stochastic Timed Games.
de réir: Bouyer, P, et al.
Foilsithe / Cruthaithe: (2009)

Decidability results for multi-objective stochastic games
de réir: Brenguier, R, et al.
Foilsithe / Cruthaithe: (2016)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2008)

Permissive Controller Synthesis for Probabilistic Systems
de réir: Klaus Drager, et al.
Foilsithe / Cruthaithe: (2015-06-01)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
de réir: Santos, GHR
Foilsithe / Cruthaithe: (2020)

Verification and control of turn-based probabilistic real-time games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2019)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

Expectation vs. reality: towards verification of psychological games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2024)

Bayesian verification of stochastic models in systems biology
de réir: Molyneux, GW
Foilsithe / Cruthaithe: (2020)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2016)

Compositional probabilistic verification through multi-objective model checking
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2013)

Automatic Verification of Serializers
de réir: Atkinson, Russ R.
Foilsithe / Cruthaithe: (2023)

Design and development of an automatic fingerprint verification system
de réir: Sulong, Ghazali
Foilsithe / Cruthaithe: (2005)

Design and development of an automatic fingerprint verification system /
de réir: Ghazali Sulong, 1958-, et al.
Foilsithe / Cruthaithe: (2007)