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...

Bibliografske podrobnosti
Main Authors:	Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Drugi avtorji:	Abdulla, P
Format:	Journal article
Jezik:	English
Izdano:	Springer 2011

Podobne knjige/članki

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Probabilistic model checking and autonomy
od: Kwiatkowska, M, et al.
Izdano: (2021)

Probabilistic mobile ambients
od: Kwiatkowska, M, et al.
Izdano: (2009)

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

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

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

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

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

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

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

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

Abstraction Refinement for Probabilistic Software
od: Kwiatkowska, G, et al.
Izdano: (2009)

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

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

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

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

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

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

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

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

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

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

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