1. Ahmadi, M., Sharan, R., Burdick, J.W.: Stochastic finite state control of POMDPs with LTL specifications. arXiv preprint arXiv:2001.07679 (2020)
2. Antoniotti, M., Mishra, B.: Discrete event models+ temporal logic= supervisory controller: automatic synthesis of locomotion controllers. In: Proceedings of 1995 IEEE International Conference on Robotics and Automation, vol. 2, pp. 1441–1446. IEEE (1995)
3. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22(1–2), 5–27 (1998)
4. Barnat, J., et al.: How to distribute LTL model-checking using decomposition of negative claim automaton. In: SOFSEM, pp. 9–14 (2002)
5. Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a model based planner. In: Proceedings of the IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information (2001)