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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Brázdil, T, Forejt, V, Kucera, A
Rannpháirtithe:	Aceto, L
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Springer 2008

Míreanna comhchosúla

Markov Decision Processes with Multiple Long-run Average Objectives
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2011)

Reachability in recursive Markov decision processes.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2008)

Markov Decision Processes with Multiple Long-run Average Objectives
de réir: Tomáš Brázdil, et al.
Foilsithe / Cruthaithe: (2014-02-01)

Trading Performance for Stability in Markov Decision Processes
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2013)

Trading performance for stability in Markov decision processes
de réir: Brazdil, T, et al.
Foilsithe / Cruthaithe: (2016)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2009)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2009)

Multi-objective robust strategy synthesis for Interval Markov decision processes
de réir: Hahn, E, et al.
Foilsithe / Cruthaithe: (2017)

Life is Random, Time is Not: Markov Decision Processes with Window Objectives
de réir: Thomas Brihaye, et al.
Foilsithe / Cruthaithe: (2020-12-01)

Synchronizing Objectives for Markov Decision Processes
de réir: Mahsa Shirmohammadi, et al.
Foilsithe / Cruthaithe: (2011-02-01)

The Satisfiability Problem for Probabilistic CTL.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2008)

Stability in graphs and games
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2016)

Quantitative Multi-objective Verification for Probabilistic Systems.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2011)

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES
de réir: Etessami, K, et al.
Foilsithe / Cruthaithe: (2008)

Multi-Objective Model Checking of Markov Decision Processes
de réir: Kousha Etessami, et al.
Foilsithe / Cruthaithe: (2008-11-01)

Multi-weighted Markov Decision Processes with Reachability Objectives
de réir: Patricia Bouyer, et al.
Foilsithe / Cruthaithe: (2018-09-01)

Verification of general Markov decision processes by approximate similarity relations and policy refinement
de réir: Haesaert, S, et al.
Foilsithe / Cruthaithe: (2017)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
de réir: M.S. Mohagheghi
Foilsithe / Cruthaithe: (2018-12-01)

Geometric branching reproduction Markov processes
de réir: Assen Tchorbadjieff, et al.
Foilsithe / Cruthaithe: (2020-09-01)

Nonlinear Markov branching processes with immigration and resurrection
de réir: Zhang Lina, et al.
Foilsithe / Cruthaithe: (2024-10-01)

Markov decision processes /
de réir: 352167 White, D. J.
Foilsithe / Cruthaithe: (1993)

Controllable Summarization with Constrained Markov Decision Process
de réir: Hou Pong Chan, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Bounds for Markov Decision Processes
de réir: Desai, Vijay V., et al.
Foilsithe / Cruthaithe: (2019)

Framework for solving time-delayed Markov Decision Processes
de réir: Yorgo Sawaya, et al.
Foilsithe / Cruthaithe: (2023-07-01)

Quantum logic gate synthesis as a Markov decision process
de réir: M. Sohaib Alam, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
de réir: Krishnendu Chatterjee, et al.
Foilsithe / Cruthaithe: (2017-07-01)

The complexity of Markov decision processes
Foilsithe / Cruthaithe: (2003)

Markov decision processes approximation with coupled dynamics via Markov deterministic control systems
de réir: Portillo-Ramírez Gustavo, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
de réir: Aaron Bohy, et al.
Foilsithe / Cruthaithe: (2014-07-01)

Safety Verification of Continuous-Space Pure Jump Markov Processes
de réir: Esmaeil Zadeh Soudjani, S, et al.
Foilsithe / Cruthaithe: (2016)

Convergence Rates and Limit Theorems for the Dual Markov Branching Process
de réir: Anthony G. Pakes
Foilsithe / Cruthaithe: (2017-01-01)

The multiple birth properties of multi-type Markov branching processes
de réir: Junping Li, et al.
Foilsithe / Cruthaithe: (2024-09-01)

Verification of Linear Duration Properties over Continuous Time Markov Chains
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Monotone optimal control for a class of Markov decision processes
de réir: Li, Michael Z. F., et al.
Foilsithe / Cruthaithe: (2013)

Polynomial time algorithms for finite horizon, stationary Markov decision processes
Foilsithe / Cruthaithe: (2003)

Comparing labelled Markov decision processes
de réir: Kiefer, S, et al.
Foilsithe / Cruthaithe: (2020)

Communicating via Markov decision processes
de réir: Sokota, S, et al.
Foilsithe / Cruthaithe: (2022)

Entropic Regularization of Markov Decision Processes
de réir: Boris Belousov, et al.
Foilsithe / Cruthaithe: (2019-07-01)

Markov abstractions for PAC reinforcement learning in non-Markov decision processes
de réir: Ronca, A, et al.
Foilsithe / Cruthaithe: (2022)