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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Tác giả khác:	Abdulla, P
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Springer 2011

Những quyển sách tương tự

Automated Verification Techniques for Probabilistic Systems.
Bằng: Forejt, V, et al.
Được phát hành: (2011)

Compositional probabilistic verification through multi-objective model checking
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2013)

PRISM 4.0: Verification of probabilistic real-time systems
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
Bằng: Forejt, V, et al.
Được phát hành: (2012)

Verification and control of turn-based probabilistic real-time games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2019)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2017)

Compositional Verification of Probabilistic Systems using Learning
Bằng: Feng, L, et al.
Được phát hành: (2010)

Automatic Verification of Competitive Stochastic Systems
Bằng: Chen, T, et al.
Được phát hành: (2011)

Automatic Verification of Competitive Stochastic Systems.
Bằng: Chen, T, et al.
Được phát hành: (2012)

Automatic Verification of Competitive Stochastic Systems
Bằng: Chen, T, et al.
Được phát hành: (2012)

Permissive controller synthesis for probabilistic systems
Bằng: Dräger, K, et al.
Được phát hành: (2015)

Permissive controller synthesis for probabilistic systems
Bằng: Dräger, K, et al.
Được phát hành: (2014)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
Bằng: Feng, L, et al.
Được phát hành: (2011)

Permissive Controller Synthesis for Probabilistic Systems
Bằng: Klaus Drager, et al.
Được phát hành: (2015-06-01)

Multi-player equilibria verification for concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2020)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2017)

Multi-agent verification and control with probabilistic model checking
Bằng: Parker, D
Được phát hành: (2023)

Automatic verification of concurrent stochastic systems
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2021)

Probabilistic model checking and autonomy
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2021)

Probabilistic mobile ambients
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2009)

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
Bằng: Brázdil, T, et al.
Được phát hành: (2008)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Bằng: Kwiatkowska, M
Được phát hành: (2016)

Automated verification of concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
Bằng: Kattenbelt, M, et al.
Được phát hành: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
Bằng: Kattenbelt, M, et al.
Được phát hành: (2008)

Equilibria-based probabilistic model checking for concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2019)

Expectation vs. reality: towards verification of psychological games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2024)

Local abstraction refinement for probabilistic timed programs
Bằng: Dräger, K, et al.
Được phát hành: (2013)

Abstraction Refinement for Probabilistic Software
Bằng: Kwiatkowska, G, et al.
Được phát hành: (2009)

Symbolic verification and strategy synthesis for turn-based stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2022)

Probabilistic model checking of complex biological pathways
Bằng: Heath, J, et al.
Được phát hành: (2008)

Quantitative verification and strategy synthesis of stochastic games
Bằng: Svorenova, M, et al.
Được phát hành: (2016)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
Bằng: Ukachukwu Ndukwu
Được phát hành: (2009-12-01)

Quantitative Verification of Implantable Cardiac Pacemakers
Bằng: Chen, T, et al.
Được phát hành: (2015)

On Stochastic Games with Multiple Objectives
Bằng: Chen, T, et al.
Được phát hành: (2013)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2020)

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
Bằng: Chen, T, et al.
Được phát hành: (2013)

Decidability results for multi-objective stochastic games
Bằng: Brenguier, R, et al.
Được phát hành: (2016)

Rational verification: game-theoretic verification of multi-agent systems
Bằng: Abate, A, et al.
Được phát hành: (2021)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2022)