Quantitative Multi-objective Verification for Probabilistic Systems.

Quantitative Multi-objective Verification for Probabilistic Systems.

We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performa...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Andre forfattere:	Abdulla, P
Format:	Journal article
Sprog:	English
Udgivet:	Springer 2011

Lignende værker

Automated Verification Techniques for Probabilistic Systems.
af: Forejt, V, et al.
Udgivet: (2011)

Compositional probabilistic verification through multi-objective model checking
af: Kwiatkowska, M, et al.
Udgivet: (2013)

PRISM 4.0: Verification of probabilistic real-time systems
af: Kwiatkowska, M, et al.
Udgivet: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
af: Forejt, V, et al.
Udgivet: (2012)

Verification and control of turn-based probabilistic real-time games
af: Kwiatkowska, M, et al.
Udgivet: (2019)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
af: Kwiatkowska, M, et al.
Udgivet: (2017)

Compositional Verification of Probabilistic Systems using Learning
af: Feng, L, et al.
Udgivet: (2010)

Automatic Verification of Competitive Stochastic Systems
af: Chen, T, et al.
Udgivet: (2011)

Automatic Verification of Competitive Stochastic Systems.
af: Chen, T, et al.
Udgivet: (2012)

Automatic Verification of Competitive Stochastic Systems
af: Chen, T, et al.
Udgivet: (2012)

Permissive controller synthesis for probabilistic systems
af: Dräger, K, et al.
Udgivet: (2015)

Permissive controller synthesis for probabilistic systems
af: Dräger, K, et al.
Udgivet: (2014)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
af: Feng, L, et al.
Udgivet: (2011)

Permissive Controller Synthesis for Probabilistic Systems
af: Klaus Drager, et al.
Udgivet: (2015-06-01)

Multi-player equilibria verification for concurrent stochastic games
af: Kwiatkowska, M, et al.
Udgivet: (2020)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
af: Kwiatkowska, M, et al.
Udgivet: (2017)

Multi-agent verification and control with probabilistic model checking
af: Parker, D
Udgivet: (2023)

Automatic verification of concurrent stochastic systems
af: Kwiatkowska, M, et al.
Udgivet: (2021)

Probabilistic model checking and autonomy
af: Kwiatkowska, M, et al.
Udgivet: (2021)

Probabilistic mobile ambients
af: Kwiatkowska, M, et al.
Udgivet: (2009)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
af: Brázdil, T, et al.
Udgivet: (2008)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
af: Kwiatkowska, M
Udgivet: (2016)

Automated verification of concurrent stochastic games
af: Kwiatkowska, M, et al.
Udgivet: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
af: Kattenbelt, M, et al.
Udgivet: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
af: Kattenbelt, M, et al.
Udgivet: (2008)

Equilibria-based probabilistic model checking for concurrent stochastic games
af: Kwiatkowska, M, et al.
Udgivet: (2019)

Expectation vs. reality: towards verification of psychological games
af: Kwiatkowska, M, et al.
Udgivet: (2024)

Local abstraction refinement for probabilistic timed programs
af: Dräger, K, et al.
Udgivet: (2013)

Abstraction Refinement for Probabilistic Software
af: Kwiatkowska, G, et al.
Udgivet: (2009)

Symbolic verification and strategy synthesis for turn-based stochastic games
af: Kwiatkowska, M, et al.
Udgivet: (2022)

Probabilistic model checking of complex biological pathways
af: Heath, J, et al.
Udgivet: (2008)

Quantitative verification and strategy synthesis of stochastic games
af: Svorenova, M, et al.
Udgivet: (2016)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
af: Ukachukwu Ndukwu
Udgivet: (2009-12-01)

Quantitative Verification of Implantable Cardiac Pacemakers
af: Chen, T, et al.
Udgivet: (2015)

On Stochastic Games with Multiple Objectives
af: Chen, T, et al.
Udgivet: (2013)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
af: Kwiatkowska, M, et al.
Udgivet: (2020)

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
af: Chen, T, et al.
Udgivet: (2013)

Decidability results for multi-objective stochastic games
af: Brenguier, R, et al.
Udgivet: (2016)

Rational verification: game-theoretic verification of multi-agent systems
af: Abate, A, et al.
Udgivet: (2021)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
af: Kwiatkowska, M, et al.
Udgivet: (2022)