POMDP controllers with optimal budget

DOI10.1007/978-3-031-16336-4_6zbMath1522.68346MaRDI QIDQ6160772

Svenja Stein, Joost-Pieter Katoen, Jip Spel

Publication date: 2 June 2023

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

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Cites Work

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