Search and explore: symbiotic policy synthesis in POMDPs

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

Mathematics Subject Classification ID

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)