1. Buysse, L., Whiteley, S., Vankeirsbilck, J., et al.: Case study analysis of stpa on an industrial cooperative robot and an autonomous mobile robot. In: The Future of Safe Systems-Proceedings of the Safety-Critical Systems Symposium, SCSC on Amazon, pp. 83–104 (2023). https://lirias.kuleuven.be/retrieve/708014
2. Camacho, A., Triantafillou, E., Muise, C.J., et al.: Non-deterministic planning with temporally extended goals: completing the story for finite and infinite ltl. In: Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016 (2016). https://ceur-ws.org/Vol-1648/paper10.pdf
3. Canal, G., Cashmore, M., Krivić, S., et al.: Probabilistic planning for robotics with rosplan. In: Towards Autonomous Robotic Systems: 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part I 20, pp. 236–250. Springer (2019). https://doi.org/10.1007/978-3-030-23807-0_20
4. Cashmore, M., Fox, M., Long, D., et al.: Rosplan: planning in the robot operating system. In: Proceedings of the International Conference on Automated Planning and Scheduling, pp. 333–341 (2015). https://doi.org/10.1609/icaps.v25i1.13699
5. Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1–3), 61–95 (1991). https://doi.org/10.1016/0004-3702(91)90006-6