1. Synthesis for robots: Guarantees and feedback for robot behavior;Kress-Gazit;Annu. Rev. Control, Robot. Auton. Syst.,2018
2. Multi-robot task planning under individual and collaborative temporal logic specifications;Bai,2021
3. T* : A heuristic search based path planning algorithm for temporal logic specifications;Khalidi,2020
4. Intermittent connectivity control in mobile robot networks;Kantaros,2015
5. Sampling-based temporal logic path planning;Ioan Vasile,2013