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

書目詳細資料
Main Authors:	Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
其他作者:	Abdulla, P
格式:	Journal article
語言:	English
出版:	Springer 2011

相似書籍

Automated Verification Techniques for Probabilistic Systems.
由: Forejt, V, et al.
出版: (2011)

Compositional probabilistic verification through multi-objective model checking
由: Kwiatkowska, M, et al.
出版: (2013)

PRISM 4.0: Verification of probabilistic real-time systems
由: Kwiatkowska, M, et al.
出版: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
由: Forejt, V, et al.
出版: (2012)

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

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

Compositional Verification of Probabilistic Systems using Learning
由: Feng, L, et al.
出版: (2010)

Automatic Verification of Competitive Stochastic Systems
由: Chen, T, et al.
出版: (2011)

Automatic Verification of Competitive Stochastic Systems.
由: Chen, T, et al.
出版: (2012)

Automatic Verification of Competitive Stochastic Systems
由: Chen, T, et al.
出版: (2012)

Permissive controller synthesis for probabilistic systems
由: Dräger, K, et al.
出版: (2015)

Permissive controller synthesis for probabilistic systems
由: Dräger, K, et al.
出版: (2014)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
由: Feng, L, et al.
出版: (2011)

Permissive Controller Synthesis for Probabilistic Systems
由: Klaus Drager, et al.
出版: (2015-06-01)

Multi-player equilibria verification for concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2020)

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

Multi-agent verification and control with probabilistic model checking
由: Parker, D
出版: (2023)

Automatic verification of concurrent stochastic systems
由: Kwiatkowska, M, et al.
出版: (2021)

Probabilistic model checking and autonomy
由: Kwiatkowska, M, et al.
出版: (2021)

Probabilistic mobile ambients
由: Kwiatkowska, M, et al.
出版: (2009)

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

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
由: Kwiatkowska, M
出版: (2016)

Automated verification of concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
由: Kattenbelt, M, et al.
出版: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
由: Kattenbelt, M, et al.
出版: (2008)

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

Expectation vs. reality: towards verification of psychological games
由: Kwiatkowska, M, et al.
出版: (2024)

Local abstraction refinement for probabilistic timed programs
由: Dräger, K, et al.
出版: (2013)

Abstraction Refinement for Probabilistic Software
由: Kwiatkowska, G, et al.
出版: (2009)

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

Probabilistic model checking of complex biological pathways
由: Heath, J, et al.
出版: (2008)

Quantitative verification and strategy synthesis of stochastic games
由: Svorenova, M, et al.
出版: (2016)

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

Quantitative Verification of Implantable Cardiac Pacemakers
由: Chen, T, et al.
出版: (2015)

On Stochastic Games with Multiple Objectives
由: Chen, T, et al.
出版: (2013)

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

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
由: Chen, T, et al.
出版: (2013)

Decidability results for multi-objective stochastic games
由: Brenguier, R, et al.
出版: (2016)

Rational verification: game-theoretic verification of multi-agent systems
由: Abate, A, et al.
出版: (2021)

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