Trace refinement in labelled Markov decision processes

Trace refinement in labelled Markov decision processes

Бусад хувилбаруудыг харуулах (2)

Given two labelled Markov decision processes (MDPs), the trace-refinement problem asks whether for all strategies of the first MDP there exists a strategy of the second MDP such that the induced labelled Markov chains are trace-equivalent. We show that this problem is decidable in polynomial time if...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Fijalkow, N, Kiefer, S, Shirmohammadi, M
Формат:	Journal article
Хэвлэсэн:	European Joint Conferences on Theory and Practice of Software (ETAPS) 2015

Ижил төстэй зүйлс

Trace refinement in labelled Markov decision processes
-н: Fijalkow, N, зэрэг
Хэвлэсэн: (2015)

Trace refinement in labelled Markov decision processes
-н: Fijalkow, N, зэрэг
Хэвлэсэн: (2020)

Trace Refinement in Labelled Markov Decision Processes
-н: Nathanaël Fijalkow, зэрэг
Хэвлэсэн: (2020-06-01)

Comparing labelled Markov decision processes
-н: Kiefer, S, зэрэг
Хэвлэсэн: (2020)

Synchronizing Objectives for Markov Decision Processes
-н: Mahsa Shirmohammadi, зэрэг
Хэвлэсэн: (2011-02-01)

A game-based abstraction-refinement framework for Markov decision processes
-н: Kattenbelt, M, зэрэг
Хэвлэсэн: (2010)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
-н: Kattenbelt, M, зэрэг
Хэвлэсэн: (2008)

Verification of general Markov decision processes by approximate similarity relations and policy refinement
-н: Haesaert, S, зэрэг
Хэвлэсэн: (2017)

Duality for Labelled Markov Processes
-н: Mislove, M, зэрэг
Хэвлэсэн: (2004)

Underwater chemical plume tracing based on partially observable Markov decision process
-н: Jiu Hai-Feng, зэрэг
Хэвлэсэн: (2019-03-01)

Semipullbacks of labelled Markov processes
-н: Jan Pachl, зэрэг
Хэвлэсэн: (2021-04-01)

Markov decision processes /
-н: 352167 White, D. J.
Хэвлэсэн: (1993)

The Big-O problem for labelled Markov chains and weighted automata
-н: Chistikov, D, зэрэг
Хэвлэсэн: (2020)

Labelled Markov Processes as Generalised Stochastic Relations
-н: Mislove, M, зэрэг
Хэвлэсэн: (2007)

Labelled Markov Processes as Generalised Stochastic Relations
-н: Mislove, M, зэрэг
Хэвлэсэн: (2007)

Bounds for Markov Decision Processes
-н: Desai, Vijay V., зэрэг
Хэвлэсэн: (2019)

The complexity of Markov decision processes
Хэвлэсэн: (2003)

Communicating via Markov decision processes
-н: Sokota, S, зэрэг
Хэвлэсэн: (2022)

Robust anytime learning of Markov decision processes
-н: Suilen, M, зэрэг
Хэвлэсэн: (2023)

Mean-Variance Optimization in Markov Decision Processes
-н: Mannor, Shie, зэрэг
Хэвлэсэн: (2013)

Reachability in recursive Markov decision processes.
-н: Brázdil, T, зэрэг
Хэвлэсэн: (2008)

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)

Inference Strategies for Solving Semi−Markov Decision Processes
-н: Hoffman, M, зэрэг
Хэвлэсэн: (2012)

Online Reinforcement Learning in Factored Markov Decision Processes and Unknown Markov Games
-н: Tian, Yi
Хэвлэсэн: (2022)

Approximate solution methods for partially observable Markov and semi-Markov decision processes
-н: Yu, Huizhen, Ph. D. Massachusetts Institute of Technology
Хэвлэсэн: (2007)

Unusual Japanese Decision-making: Markov Process of Decision-making
-н: Nobumichi WATAHIKI, зэрэг
Хэвлэсэн: (2021-10-01)

Tensor decomposition and parallelization of Markov Decision Processes
-н: Smart, David P. (David Paul)
Хэвлэсэн: (2016)

Simulation-based optimization of Markov decision processes
-н: Marbach, Peter, 1966-
Хэвлэсэн: (2005)

Hazard avoidance alerting with Markov decision processes
-н: Winder, Lee F. (Lee Francis), 1973-
Хэвлэсэн: (2005)

Trading Performance for Stability in Markov Decision Processes
-н: Brázdil, T, зэрэг
Хэвлэсэн: (2013)

Hazard Avoidance Alerting With Markov Decision Processes
-н: Winder, Lee F., зэрэг
Хэвлэсэн: (2007)

Quantum partially observable Markov decision processes
-н: Barry, Jennifer, зэрэг
Хэвлэсэн: (2014)

Hierarchical Solution of Large Markov Decision Processes
-н: Barry, Jennifer, зэрэг
Хэвлэсэн: (2011)

Trading performance for stability in Markov decision processes
-н: Brazdil, T, зэрэг
Хэвлэсэн: (2016)

Simulation-based algorithms for Markov decision processes /
-н: Chang, Hyeong Soo
Хэвлэсэн: (2007)

Dynamic Watermarking for Finite Markov Decision Processes
-н: Jiacheng Tang, зэрэг
Хэвлэсэн: (2025-01-01)

Debugging of Markov Decision Processes (MDPs) Models
-н: Hichem Debbi
Хэвлэсэн: (2016-08-01)

Controllable Summarization with Constrained Markov Decision Process
-н: Hou Pong Chan, зэрэг
Хэвлэсэн: (2021-01-01)

Learning Markov Decision Processes for Model Checking
-н: Hua Mao, зэрэг
Хэвлэсэн: (2012-12-01)