Search and explore: symbiotic policy synthesis in POMDPs
From MaRDI portal
Publication:6535683
DOI10.1007/978-3-031-37709-9_6zbMATH Open1547.68405MaRDI QIDQ6535683
Roman Andriushchenko, Author name not available (Why is that?), Sebastian Junges, Filip Macák, Joost-Pieter Katoen, Milan Češka
Publication date: 1 February 2024
Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- On the undecidability of probabilistic planning and related stochastic optimization problems
- Verification and control of partially observable probabilistic systems
- Inductive synthesis for probabilistic programs reaches new horizons
- Gradient-descent for randomized controllers under partial observability
- The Optimal Control of Partially Observable Markov Processes over a Finite Horizon
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
- Shepherding hordes of Markov chains
- Verification of Indefinite-Horizon POMDPs
- A practitioner's guide to MDP model checking algorithms
- Under-approximating expected total rewards in POMDPs
This page was built for publication: Search and explore: symbiotic policy synthesis in POMDPs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535683)
