Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.

We show that the controller synthesis and verification problems for Markov decision processes with qualitative PECTL* objectives are 2-EXPTIME complete. More precisely, the algorithms are polynomial in the size of a given Markov decision process and doubly exponential in the size of a given qualitat...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Brázdil, T, Forejt, V, Kucera, A
Tác giả khác:	Aceto, L
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Springer 2008

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

Markov Decision Processes with Multiple Long-run Average Objectives
Bằng: Brázdil, T, et al.
Được phát hành: (2011)

Reachability in recursive Markov decision processes.
Bằng: Brázdil, T, et al.
Được phát hành: (2008)

Markov Decision Processes with Multiple Long-run Average Objectives
Bằng: Tomáš Brázdil, et al.
Được phát hành: (2014-02-01)

Trading Performance for Stability in Markov Decision Processes
Bằng: Brázdil, T, et al.
Được phát hành: (2013)

Trading performance for stability in Markov decision processes
Bằng: Brazdil, T, et al.
Được phát hành: (2016)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
Bằng: Brázdil, T, et al.
Được phát hành: (2009)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
Bằng: Brázdil, T, et al.
Được phát hành: (2009)

Multi-objective robust strategy synthesis for Interval Markov decision processes
Bằng: Hahn, E, et al.
Được phát hành: (2017)

Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Bằng: Thomas Brihaye, et al.
Được phát hành: (2020-12-01)

Synchronizing Objectives for Markov Decision Processes
Bằng: Mahsa Shirmohammadi, et al.
Được phát hành: (2011-02-01)

The Satisfiability Problem for Probabilistic CTL.
Bằng: Brázdil, T, et al.
Được phát hành: (2008)

Stability in graphs and games
Bằng: Brázdil, T, et al.
Được phát hành: (2016)

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

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES
Bằng: Etessami, K, et al.
Được phát hành: (2008)

Multi-Objective Model Checking of Markov Decision Processes
Bằng: Kousha Etessami, et al.
Được phát hành: (2008-11-01)

Multi-weighted Markov Decision Processes with Reachability Objectives
Bằng: Patricia Bouyer, et al.
Được phát hành: (2018-09-01)

Verification of general Markov decision processes by approximate similarity relations and policy refinement
Bằng: Haesaert, S, et al.
Được phát hành: (2017)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
Bằng: M.S. Mohagheghi
Được phát hành: (2018-12-01)

Geometric branching reproduction Markov processes
Bằng: Assen Tchorbadjieff, et al.
Được phát hành: (2020-09-01)

Nonlinear Markov branching processes with immigration and resurrection
Bằng: Zhang Lina, et al.
Được phát hành: (2024-10-01)

Markov decision processes /
Bằng: 352167 White, D. J.
Được phát hành: (1993)

Controllable Summarization with Constrained Markov Decision Process
Bằng: Hou Pong Chan, et al.
Được phát hành: (2021-01-01)

Bounds for Markov Decision Processes
Bằng: Desai, Vijay V., et al.
Được phát hành: (2019)

Framework for solving time-delayed Markov Decision Processes
Bằng: Yorgo Sawaya, et al.
Được phát hành: (2023-07-01)

Quantum logic gate synthesis as a Markov decision process
Bằng: M. Sohaib Alam, et al.
Được phát hành: (2023-10-01)

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Bằng: Krishnendu Chatterjee, et al.
Được phát hành: (2017-07-01)

The complexity of Markov decision processes
Được phát hành: (2003)

Markov decision processes approximation with coupled dynamics via Markov deterministic control systems
Bằng: Portillo-Ramírez Gustavo, et al.
Được phát hành: (2023-10-01)

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Bằng: Aaron Bohy, et al.
Được phát hành: (2014-07-01)

Safety Verification of Continuous-Space Pure Jump Markov Processes
Bằng: Esmaeil Zadeh Soudjani, S, et al.
Được phát hành: (2016)

Convergence Rates and Limit Theorems for the Dual Markov Branching Process
Bằng: Anthony G. Pakes
Được phát hành: (2017-01-01)

The multiple birth properties of multi-type Markov branching processes
Bằng: Junping Li, et al.
Được phát hành: (2024-09-01)

Verification of Linear Duration Properties over Continuous Time Markov Chains
Bằng: Chen, T, et al.
Được phát hành: (2012)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
Bằng: Chen, T, et al.
Được phát hành: (2012)

Monotone optimal control for a class of Markov decision processes
Bằng: Li, Michael Z. F., et al.
Được phát hành: (2013)

Polynomial time algorithms for finite horizon, stationary Markov decision processes
Được phát hành: (2003)

Comparing labelled Markov decision processes
Bằng: Kiefer, S, et al.
Được phát hành: (2020)

Communicating via Markov decision processes
Bằng: Sokota, S, et al.
Được phát hành: (2022)

Entropic Regularization of Markov Decision Processes
Bằng: Boris Belousov, et al.
Được phát hành: (2019-07-01)

Markov abstractions for PAC reinforcement learning in non-Markov decision processes
Bằng: Ronca, A, et al.
Được phát hành: (2022)