1. Reasoning about noisy sensors and effectors in the situation calculus;Bacchus;Artif. Intell.,1999
2. Planning with first-order temporally extended goals using heuristic search;Baier,2006
3. On plans with loops and noise;Belle,2018
4. Foundations for generalized planning in unbounded stochastic domains;Belle,2016
5. Reasoning about continuous uncertainty in the situation calculus;Belle,2013