Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

被引：0
|
作者：
Technische Universität München, Germany [1 ]
不详 [2 ]
机构：
来源：
Leibniz Int. Proc. Informatics, LIPIcs |
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Approximation algorithms - Discrete time control systems - Iterative methods - Process control
引用
收藏
相关论文
共 50 条
  • [1] Reachability in recursive Markov decision processes
    Brazdil, Tomas
    Brozek, Vaclav
    Forejt, Vojtech
    Kucera, Antonin
    [J]. INFORMATION AND COMPUTATION, 2008, 206 (05) : 520 - 537
  • [2] Reachability in recursive Markov decision processes
    Brazdil, Tomas
    Brozek, Vaclav
    Forejt, Vojtech
    Kucera, Antonin
    [J]. CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 358 - 374
  • [3] Robust Anytime Learning of Markov Decision Processes
    Suilen, Marnix
    Simao, Thiago D.
    Parker, David
    Jansen, Nils
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35 (NEURIPS 2022), 2022,
  • [4] The complexity of reachability in parametric Markov decision processes
    Junges, Sebastian
    Katoen, Joost-Pieter
    Perez, Guillermo A.
    Winkler, Tobias
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2021, 119 : 183 - 210
  • [5] Reachability analysis of quantum Markov decision processes
    Ying, Shenggang
    Ying, Mingsheng
    [J]. INFORMATION AND COMPUTATION, 2018, 263 : 31 - 51
  • [6] Probabilistic Safety Guarantees for Markov Decision Processes
    Wisniewski, Rafal
    Bujorianu, Manuela L.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (12) : 8095 - 8102
  • [7] Distributional Reachability for Markov Decision Processes: Theory and Applications
    Gao, Yulong
    Abate, Alessandro
    Xie, Lihua
    Johansson, Karl Henrik
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (07) : 4598 - 4613
  • [8] On a Notion of Resilience for Markov Decision Processes with Reachability Objectives
    Duan, Xiaoming
    Baharisangari, Nasim
    Yan, Rui
    Xu, Zhe
    Ornik, Melkior
    [J]. IFAC PAPERSONLINE, 2023, 56 (02): : 11261 - 11266
  • [9] Performance Guarantees for Homomorphisms beyond Markov Decision Processes
    Majeed, Sultan Javed
    Hutter, Marcus
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 7659 - 7666
  • [10] Reachability and Differential Based Heuristics for Solving Markov Decision Processes
    Debnath, Shoubhik
    Liu, Lantao
    Sukhatme, Gaurav
    [J]. ROBOTICS RESEARCH, 2020, 10 : 387 - 404
12345