POMDP controllers with optimal budget

DOI10.1007/978-3-031-16336-4_6zbMATH Open1522.68346MaRDI QIDQ6160772FDOQ6160772

Authors: Jip Spel, Svenja Stein, Joost-Pieter Katoen 

Publication date: 2 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Recommendations

• Optimal cost almost-sure reachability in POMDPs
• On Near Optimality of the Set of Finite-State Controllers for Average Cost POMDP
• On the Computational Complexity of Stochastic Controller Optimization in POMDPs
• Control Theory Meets POMDPs: A Hybrid Systems Approach
• Efficient Algorithms for Budget-Constrained Markov Decision Processes
• Policy iteration for bounded-parameter POMDPs
• Efficient, optimal stochastic-action selection when limited by an action budget
• Partially observable stochastic optimal control
• scientific article; zbMATH DE number 18469
• Optimal control with budget constraints and resets

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Cites Work

• Planning and acting in partially observable stochastic domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004
• The complexity of reachability in parametric Markov decision processes
• Computationally Feasible Bounds for Partially Observed Markov Decision Processes
• Parameter synthesis for Markov models: faster than ever
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Parametric probabilistic transition systems for system design and analysis
• Finding provably optimal Markov chains
• Reinforcement learning with limited reinforcement: using Bayes risk for active learning in POMDPs
• Are Parametric Markov Chains Monotonic?
• Accelerated model checking of parametric Markov chains
• Title not available (Why is that?)
• Perturbation Analysis in Verification of Discrete-Time Markov Chains

Cited In (3)

• On the Computational Complexity of Stochastic Controller Optimization in POMDPs
• Control Theory Meets POMDPs: A Hybrid Systems Approach
• Parameter-Independent Strategies for pMDPs via POMDPs

This page was built for publication: POMDP controllers with optimal budget

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160772)