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

Полное описание

Библиографические подробности
Главные авторы:	Brázdil, T, Forejt, V, Kucera, A
Другие авторы:	Aceto, L
Формат:	Journal article
Язык:	English
Опубликовано:	Springer 2008

Схожие документы

Markov Decision Processes with Multiple Long-run Average Objectives
по: Brázdil, T, и др.
Опубликовано: (2011)

Reachability in recursive Markov decision processes.
по: Brázdil, T, и др.
Опубликовано: (2008)

Markov Decision Processes with Multiple Long-run Average Objectives
по: Tomáš Brázdil, и др.
Опубликовано: (2014-02-01)

Trading Performance for Stability in Markov Decision Processes
по: Brázdil, T, и др.
Опубликовано: (2013)

Trading performance for stability in Markov decision processes
по: Brazdil, T, и др.
Опубликовано: (2016)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
по: Brázdil, T, и др.
Опубликовано: (2009)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
по: Brázdil, T, и др.
Опубликовано: (2009)

Multi-objective robust strategy synthesis for Interval Markov decision processes
по: Hahn, E, и др.
Опубликовано: (2017)

Life is Random, Time is Not: Markov Decision Processes with Window Objectives
по: Thomas Brihaye, и др.
Опубликовано: (2020-12-01)

Synchronizing Objectives for Markov Decision Processes
по: Mahsa Shirmohammadi, и др.
Опубликовано: (2011-02-01)

The Satisfiability Problem for Probabilistic CTL.
по: Brázdil, T, и др.
Опубликовано: (2008)

Stability in graphs and games
по: Brázdil, T, и др.
Опубликовано: (2016)

Quantitative Multi-objective Verification for Probabilistic Systems.
по: Forejt, V, и др.
Опубликовано: (2011)

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES
по: Etessami, K, и др.
Опубликовано: (2008)

Multi-Objective Model Checking of Markov Decision Processes
по: Kousha Etessami, и др.
Опубликовано: (2008-11-01)

Multi-weighted Markov Decision Processes with Reachability Objectives
по: Patricia Bouyer, и др.
Опубликовано: (2018-09-01)

Verification of general Markov decision processes by approximate similarity relations and policy refinement
по: Haesaert, S, и др.
Опубликовано: (2017)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
по: M.S. Mohagheghi
Опубликовано: (2018-12-01)

Geometric branching reproduction Markov processes
по: Assen Tchorbadjieff, и др.
Опубликовано: (2020-09-01)

Nonlinear Markov branching processes with immigration and resurrection
по: Zhang Lina, и др.
Опубликовано: (2024-10-01)

Markov decision processes /
по: 352167 White, D. J.
Опубликовано: (1993)

Controllable Summarization with Constrained Markov Decision Process
по: Hou Pong Chan, и др.
Опубликовано: (2021-01-01)

Bounds for Markov Decision Processes
по: Desai, Vijay V., и др.
Опубликовано: (2019)

Framework for solving time-delayed Markov Decision Processes
по: Yorgo Sawaya, и др.
Опубликовано: (2023-07-01)

Quantum logic gate synthesis as a Markov decision process
по: M. Sohaib Alam, и др.
Опубликовано: (2023-10-01)

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
по: Krishnendu Chatterjee, и др.
Опубликовано: (2017-07-01)

The complexity of Markov decision processes
Опубликовано: (2003)

Markov decision processes approximation with coupled dynamics via Markov deterministic control systems
по: Portillo-Ramírez Gustavo, и др.
Опубликовано: (2023-10-01)

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
по: Aaron Bohy, и др.
Опубликовано: (2014-07-01)

Safety Verification of Continuous-Space Pure Jump Markov Processes
по: Esmaeil Zadeh Soudjani, S, и др.
Опубликовано: (2016)

Convergence Rates and Limit Theorems for the Dual Markov Branching Process
по: Anthony G. Pakes
Опубликовано: (2017-01-01)

The multiple birth properties of multi-type Markov branching processes
по: Junping Li, и др.
Опубликовано: (2024-09-01)

Verification of Linear Duration Properties over Continuous Time Markov Chains
по: Chen, T, и др.
Опубликовано: (2012)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
по: Chen, T, и др.
Опубликовано: (2012)

Monotone optimal control for a class of Markov decision processes
по: Li, Michael Z. F., и др.
Опубликовано: (2013)

Polynomial time algorithms for finite horizon, stationary Markov decision processes
Опубликовано: (2003)

Comparing labelled Markov decision processes
по: Kiefer, S, и др.
Опубликовано: (2020)

Communicating via Markov decision processes
по: Sokota, S, и др.
Опубликовано: (2022)

Entropic Regularization of Markov Decision Processes
по: Boris Belousov, и др.
Опубликовано: (2019-07-01)

Markov abstractions for PAC reinforcement learning in non-Markov decision processes
по: Ronca, A, и др.
Опубликовано: (2022)