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)