Co-occurring keywords · papers mentioning both
partially observable markov decision process
(3)
offline reinforcement learning
(2)
temporal logic constraint
(1)
multi-robot coordination
(1)
monte carlo value iteration
(1)
inductive synthesis
(1)
oracle-guided synthesis
(1)
belief-based approach
(1)
multi-objective specification
(1)
robot mapping
(1)
Papers
A Finite-State Controller Based Offline Solver for Deterministic POMDPs
IJCAI 2025
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
IJCAI 2023
Safe Policy Improvement for POMDPs via Finite-State Controllers
AAAI 2023
Inductive synthesis of finite-state controllers for POMDPs
UAI 2022
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
IJCAI 2020
Policy Search for Multi-Robot Coordination under Uncertainty
RSS 2015