1. Rayna Dimitrova, Mahsa Ghasemi, and Ufuk Topcu. 2020. Reactive synthesis with maximum realiability of linear temporal logic specifications. Acta Informatica1/2 (2020), 57.
2. Temporal and Modal Logic
3. LTLMoP: Experimenting with language, Temporal Logic and robot control
4. Daniel Gritzner and Joel Greenyer. 2017. Synthesizing executable PLC code for robots from scenario-based GR (1) specifications. In Federation of International Conferences on Software Technologies: Applications and Foundations. Springer, 247–262.
5. Temporal-Logic-Based Reactive Mission and Motion Planning