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

Descrizione completa

Dettagli Bibliografici
Autori principali:	Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Altri autori:	Abdulla, P
Natura:	Journal article
Lingua:	English
Pubblicazione:	Springer 2011

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Probabilistic model checking and autonomy
di: Kwiatkowska, M, et al.
Pubblicazione: (2021)

Probabilistic mobile ambients
di: Kwiatkowska, M, et al.
Pubblicazione: (2009)

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

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

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

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

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

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

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

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

Abstraction Refinement for Probabilistic Software
di: Kwiatkowska, G, et al.
Pubblicazione: (2009)

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

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

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

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

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

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

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

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

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

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

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