Search and explore: symbiotic policy synthesis in POMDPs
From MaRDI portal
Publication:6535683
DOI10.1007/978-3-031-37709-9_6zbMATH Open1547.68405MaRDI QIDQ6535683FDOQ6535683
Authors: Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Publication date: 1 February 2024
Recommendations
- Enforcing almost-sure reachability in POMDPs
- Supervisor synthesis of POMDP via automata learning
- Constraint-based controller synthesis in non-deterministic and partially observable domains
- Task-aware verifiable RNN-based policies for partially observable Markov decision processes
- Planning and acting in partially observable stochastic domains
Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)
Cites Work
- Title not available (Why is that?)
- The Optimal Control of Partially Observable Markov Processes over a Finite Horizon
- On the undecidability of probabilistic planning and related stochastic optimization problems
- Verification and control of partially observable probabilistic systems
- Verification of Indefinite-Horizon POMDPs
- Inductive synthesis for probabilistic programs reaches new horizons
- Gradient-descent for randomized controllers under partial observability
- Task-aware verifiable RNN-based policies for partially observable Markov decision processes
- Shepherding hordes of Markov chains
- 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)