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)