Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

他のバージョン（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...

書誌詳細
主要な著者:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
その他の著者:	Flanagan, C
フォーマット:	Journal article
言語:	English
出版事項:	Springer 2012

類似資料

Automatic Verification of Competitive Stochastic Systems
著者:: Chen, T, 等
出版事項: (2012)

Automatic Verification of Competitive Stochastic Systems
著者:: Chen, T, 等
出版事項: (2011)

Automatic verification of competitive stochastic systems
著者:: Simaitis, A
出版事項: (2014)

Automatic verification of concurrent stochastic systems
著者:: Kwiatkowska, M, 等
出版事項: (2021)

On Stochastic Games with Multiple Objectives
著者:: Chen, T, 等
出版事項: (2013)

PLAYING STOCHASTIC GAMES PRECISELY
著者:: Chen, T, 等
出版事項: (2012)

Playing Stochastic Games Precisely
著者:: Chen, T, 等
出版事項: (2012)

Automated Verification Techniques for Probabilistic Systems.
著者:: Forejt, V, 等
出版事項: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
著者:: Forejt, V, 等
出版事項: (2012)

Quantitative Multi-objective Verification for Probabilistic Systems.
著者:: Forejt, V, 等
出版事項: (2011)

Automated verification of concurrent stochastic games
著者:: Kwiatkowska, M, 等
出版事項: (2018)

Multi-player equilibria verification for concurrent stochastic games
著者:: Kwiatkowska, M, 等
出版事項: (2020)

Symbolic verification and strategy synthesis for turn-based stochastic games
著者:: Kwiatkowska, M, 等
出版事項: (2022)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
著者:: Kwiatkowska, M, 等
出版事項: (2017)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
著者:: Kwiatkowska, M, 等
出版事項: (2020)

Quantitative verification and strategy synthesis of stochastic games
著者:: Svorenova, M, 等
出版事項: (2016)

Automatic verification of stochastic processes: certification of building automation systems
著者:: Cauchi, NM
出版事項: (2019)

Verifying Team Formation Protocols with Probabilistic Model Checking
著者:: Chen, T, 等
出版事項: (2011)

Compositional Verification of Probabilistic Systems using Learning
著者:: Feng, L, 等
出版事項: (2010)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
著者:: Barbot, B, 等
出版事項: (2015)

Strategic Analysis of Trust Models for User-Centric Networks
著者:: Marta Kwiatkowska, 等
出版事項: (2013-03-01)

Permissive controller synthesis for probabilistic systems
著者:: Dräger, K, 等
出版事項: (2015)

Permissive controller synthesis for probabilistic systems
著者:: Dräger, K, 等
出版事項: (2014)

PRISM 4.0: Verification of probabilistic real-time systems
著者:: Kwiatkowska, M, 等
出版事項: (2011)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
著者:: Feng, L, 等
出版事項: (2011)

Runtime verification for stochastic systems
著者:: Wilcox, Cristina M
出版事項: (2010)

Reachability in Stochastic Timed Games.
著者:: Bouyer, P, 等
出版事項: (2009)

Decidability results for multi-objective stochastic games
著者:: Brenguier, R, 等
出版事項: (2016)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
著者:: Brázdil, T, 等
出版事項: (2008)

Permissive Controller Synthesis for Probabilistic Systems
著者:: Klaus Drager, 等
出版事項: (2015-06-01)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
著者:: Santos, GHR
出版事項: (2020)

Verification and control of turn-based probabilistic real-time games
著者:: Kwiatkowska, M, 等
出版事項: (2019)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
著者:: Kwiatkowska, M, 等
出版事項: (2017)

Expectation vs. reality: towards verification of psychological games
著者:: Kwiatkowska, M, 等
出版事項: (2024)

Bayesian verification of stochastic models in systems biology
著者:: Molyneux, GW
出版事項: (2020)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
著者:: Kwiatkowska, M
出版事項: (2016)

Compositional probabilistic verification through multi-objective model checking
著者:: Kwiatkowska, M, 等
出版事項: (2013)

Automatic Verification of Serializers
著者:: Atkinson, Russ R.
出版事項: (2023)

Design and development of an automatic fingerprint verification system
著者:: Sulong, Ghazali
出版事項: (2005)

Design and development of an automatic fingerprint verification system /
著者:: Ghazali Sulong, 1958-, 等
出版事項: (2007)