paper-with-me

Papers

Reachability and Differential based Heuristics for Solving Markov Decision Processes

2019-01-03 · Shoubhik Debnath, Lantao Liu, Gaurav Sukhatme

The solution convergence of Markov Decision Processes (MDPs) can be accelerated by prioritized sweeping of states ranked by their potential impacts to other states. In this paper, we present new heuristics to speed up the solution convergence of MDPs. First, we quantify the level of reachability of every state using the Mean First Passage Time (MFPT) and show that such reachability characterization very well assesses the importance of states which is used for effective state prioritization. Then, we introduce the notion of backup differentials as an extension to the prioritized sweeping mechanism, in order to evaluate the impacts of states at an even finer scale. Finally, we extend the state prioritization to the temporal process, where only partial sweeping can be performed during certain intermediate value iteration stages. To validate our design, we have performed numerical evaluations by comparing the proposed new heuristics with corresponding classic baseline mechanisms. The evaluation results showed that our reachability based framework and its differential variants have outperformed the state-of-the-art solutions in terms of both practical runtime and number of iterations.

📄 PDF Abstract BibTeX arXiv:1901.00921

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

SPEED The monocular depth estimation (MDE) is the task of estimating depth from a single frame. This information is an essential knowledge in many computer vision tasks such as scene…
Prioritized Sweeping Prioritized Sweeping is a reinforcement learning technique for model-based algorithms that prioritizes updates according to a measure of urgency, and performs these updates…

Similar Papers 제목 키워드 기반

Solving Markov Decision Processes with Reachability Characterization from Mean First Passage Times

2019-01-04 · Shoubhik Debnath, Lantao Liu, Gaurav Sukhatme

A new mechanism for efficiently solving the Markov decision processes (MDPs) is proposed in this paper. We introduce the notion of reachability landscape where we use the Mean First Passage Time (MFPT) as a means to char…

Decision Making

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

2024-12-27 · Guy Avni, Martin Kurečka, Kaushik Mallik, Petr Novotný 외

Graph games are fundamental in strategic reasoning of multi-agent systems and their environments. We study a new family of graph games which combine stochastic environmental uncertainties and auction-based interactions a…

TNODEV: Toolbox for Neural ODE Verification

2026-06-15 · Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel arxiv

Neural ordinary differential equations (neural ODE) gained attention in safety critical settings such as continuous-time controllers for cyber-physical systems and classifiers integrated into automated decision pipelines…

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

2020-08-10 · Kush Grover, Jan Křetínský, Tobias Meggendorfer, Maximilian Weininger

We consider the problem of approximating the reachability probabilities in Markov decision processes (MDP) with uncountable (continuous) state and action spaces. While there are algorithms that, for special classes of su…

A Novel Unified Framework for Solving Reachability, Viability and Invariance Problems

2021-04-15 · Wei Liao, Taotao Liang, Xiaohui Wei, Jizhou Lai

The level set method is a widely used tool for solving reachability and invariance problems. However, some shortcomings, such as the difficulties of handling dissipation function and constructing terminal conditions for …