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

תיאור מלא

מידע ביבליוגרפי
Main Authors:	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, et al.
יצא לאור: (2011)

Reachability in recursive Markov decision processes.
מאת: Brázdil, T, et al.
יצא לאור: (2008)

Markov Decision Processes with Multiple Long-run Average Objectives
מאת: Tomáš Brázdil, et al.
יצא לאור: (2014-02-01)

Trading Performance for Stability in Markov Decision Processes
מאת: Brázdil, T, et al.
יצא לאור: (2013)

Trading performance for stability in Markov decision processes
מאת: Brazdil, T, et al.
יצא לאור: (2016)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
מאת: Brázdil, T, et al.
יצא לאור: (2009)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
מאת: Brázdil, T, et al.
יצא לאור: (2009)

Multi-objective robust strategy synthesis for Interval Markov decision processes
מאת: Hahn, E, et al.
יצא לאור: (2017)

Life is Random, Time is Not: Markov Decision Processes with Window Objectives
מאת: Thomas Brihaye, et al.
יצא לאור: (2020-12-01)

Synchronizing Objectives for Markov Decision Processes
מאת: Mahsa Shirmohammadi, et al.
יצא לאור: (2011-02-01)

The Satisfiability Problem for Probabilistic CTL.
מאת: Brázdil, T, et al.
יצא לאור: (2008)

Stability in graphs and games
מאת: Brázdil, T, et al.
יצא לאור: (2016)

Quantitative Multi-objective Verification for Probabilistic Systems.
מאת: Forejt, V, et al.
יצא לאור: (2011)

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES
מאת: Etessami, K, et al.
יצא לאור: (2008)

Multi-Objective Model Checking of Markov Decision Processes
מאת: Kousha Etessami, et al.
יצא לאור: (2008-11-01)

Multi-weighted Markov Decision Processes with Reachability Objectives
מאת: Patricia Bouyer, et al.
יצא לאור: (2018-09-01)

Verification of general Markov decision processes by approximate similarity relations and policy refinement
מאת: Haesaert, S, et al.
יצא לאור: (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, et al.
יצא לאור: (2020-09-01)

Nonlinear Markov branching processes with immigration and resurrection
מאת: Zhang Lina, et al.
יצא לאור: (2024-10-01)

Markov decision processes /
מאת: 352167 White, D. J.
יצא לאור: (1993)

Controllable Summarization with Constrained Markov Decision Process
מאת: Hou Pong Chan, et al.
יצא לאור: (2021-01-01)

Bounds for Markov Decision Processes
מאת: Desai, Vijay V., et al.
יצא לאור: (2019)

Framework for solving time-delayed Markov Decision Processes
מאת: Yorgo Sawaya, et al.
יצא לאור: (2023-07-01)

Quantum logic gate synthesis as a Markov decision process
מאת: M. Sohaib Alam, et al.
יצא לאור: (2023-10-01)

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
מאת: Krishnendu Chatterjee, et al.
יצא לאור: (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, et al.
יצא לאור: (2023-10-01)

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
מאת: Aaron Bohy, et al.
יצא לאור: (2014-07-01)

Safety Verification of Continuous-Space Pure Jump Markov Processes
מאת: Esmaeil Zadeh Soudjani, S, et al.
יצא לאור: (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, et al.
יצא לאור: (2024-09-01)

Verification of Linear Duration Properties over Continuous Time Markov Chains
מאת: Chen, T, et al.
יצא לאור: (2012)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
מאת: Chen, T, et al.
יצא לאור: (2012)

Monotone optimal control for a class of Markov decision processes
מאת: Li, Michael Z. F., et al.
יצא לאור: (2013)

Polynomial time algorithms for finite horizon, stationary Markov decision processes
יצא לאור: (2003)

Comparing labelled Markov decision processes
מאת: Kiefer, S, et al.
יצא לאור: (2020)

Communicating via Markov decision processes
מאת: Sokota, S, et al.
יצא לאור: (2022)

Entropic Regularization of Markov Decision Processes
מאת: Boris Belousov, et al.
יצא לאור: (2019-07-01)

Markov abstractions for PAC reinforcement learning in non-Markov decision processes
מאת: Ronca, A, et al.
יצא לאור: (2022)