Verification and control of turn-based probabilistic real-time games

Verification and control of turn-based probabilistic real-time games

Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their variants. They can be used to produce guarantees on quantitative aspects of system behaviour, for example safety, reliabilit...

Detaylı Bibliyografya
Asıl Yazarlar:	Kwiatkowska, M, Norman, G, Parker, D
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Springer Verlag 2019

Benzer Materyaller

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

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

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

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

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

Game−Based Probabilistic Predicate Abstraction in PRISM
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

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

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

Equilibria-based probabilistic model checking for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

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

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

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

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

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

Probabilistic model checking and autonomy
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

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)

Verification and Refutation of Probabilistic Specifications via Games
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Multi-agent verification and control with probabilistic model checking
Yazar:: Parker, D
Baskı/Yayın Bilgisi: (2023)

Probabilistic mobile ambients
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Yazar:: Jovanovic, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Yazar:: Jovanović, A, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Yazar:: Jovanović, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
Yazar:: Jovanovic, A, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
Yazar:: Jurdzinski, M, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

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

Time−Bounded Verification of CTMCs Against Real−Time Specifications
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Local abstraction refinement for probabilistic timed programs
Yazar:: Dräger, K, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

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

Abstraction Refinement for Probabilistic Software
Yazar:: Kwiatkowska, G, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Probabilistic model checking of complex biological pathways
Yazar:: Heath, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

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)

Rational verification: game-theoretic verification of multi-agent systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

A game-based abstraction-refinement framework for Markov decision processes
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Expected Reachability−Time Games
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Expected reachability-time games
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Expected Reachability-Time Games.
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2010)