Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems.

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Diğer Yazarlar:	Flanagan, C
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Springer 2012

Benzer Materyaller

Automatic Verification of Competitive Stochastic Systems
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Automatic Verification of Competitive Stochastic Systems
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Automatic verification of competitive stochastic systems
Yazar:: Simaitis, A
Baskı/Yayın Bilgisi: (2014)

Automatic verification of concurrent stochastic systems
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On Stochastic Games with Multiple Objectives
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

PLAYING STOCHASTIC GAMES PRECISELY
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Playing Stochastic Games Precisely
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Automated Verification Techniques for Probabilistic Systems.
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Quantitative Multi-objective Verification for Probabilistic Systems.
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Automated verification of concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Multi-player equilibria verification for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Symbolic verification and strategy synthesis for turn-based stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Quantitative verification and strategy synthesis of stochastic games
Yazar:: Svorenova, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Automatic verification of stochastic processes: certification of building automation systems
Yazar:: Cauchi, NM
Baskı/Yayın Bilgisi: (2019)

Verifying Team Formation Protocols with Probabilistic Model Checking
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Compositional Verification of Probabilistic Systems using Learning
Yazar:: Feng, L, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Yazar:: Barbot, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Strategic Analysis of Trust Models for User-Centric Networks
Yazar:: Marta Kwiatkowska, ve diğerleri
Baskı/Yayın Bilgisi: (2013-03-01)

Permissive controller synthesis for probabilistic systems
Yazar:: Dräger, K, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Permissive controller synthesis for probabilistic systems
Yazar:: Dräger, K, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

PRISM 4.0: Verification of probabilistic real-time systems
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
Yazar:: Feng, L, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Runtime verification for stochastic systems
Yazar:: Wilcox, Cristina M
Baskı/Yayın Bilgisi: (2010)

Reachability in Stochastic Timed Games.
Yazar:: Bouyer, P, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Decidability results for multi-objective stochastic games
Yazar:: Brenguier, R, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
Yazar:: Brázdil, T, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Permissive Controller Synthesis for Probabilistic Systems
Yazar:: Klaus Drager, ve diğerleri
Baskı/Yayın Bilgisi: (2015-06-01)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
Yazar:: Santos, GHR
Baskı/Yayın Bilgisi: (2020)

Verification and control of turn-based probabilistic real-time games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Expectation vs. reality: towards verification of psychological games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Bayesian verification of stochastic models in systems biology
Yazar:: Molyneux, GW
Baskı/Yayın Bilgisi: (2020)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2016)

Compositional probabilistic verification through multi-objective model checking
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Automatic Verification of Serializers
Yazar:: Atkinson, Russ R.
Baskı/Yayın Bilgisi: (2023)

Design and development of an automatic fingerprint verification system
Yazar:: Sulong, Ghazali
Baskı/Yayın Bilgisi: (2005)

Design and development of an automatic fingerprint verification system /
Yazar:: Ghazali Sulong, 1958-, ve diğerleri
Baskı/Yayın Bilgisi: (2007)