publication venue for
- Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP 2023
- Timed Partial Order Inference Algorithm 2023
- Active Grammatical Inference for Non-Markovian Planning 2022
- Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning 2022
- Conflict-Based Search for Explainable Multi-Agent Path Finding 2022
- Online Algorithms for POMDPs with Continuous State, Action, and Observation Spaces 2018
- Heuristic Search and Receding-Horizon Planning in Complex Spacecraft Orbit Domains 2015
- C-FOREST: Parallel Shortest-Path Planning with Super Linear Speedup 2014