1. Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL.;Camacho,2016
2. Probabilistic planning for robotics with ROSPlan;Canal,2019
3. Rosplan: Planning in the robot operating system;Cashmore,2015
4. Temporal constraint networks;Dechter;Artificial intelligence,1991
5. Tal: Temporal action logics language specification and tutorial;Doherty;Electronic Transactions on Artificial Intelligence,1998