1. Principles of model checking;C Baier;MIT,2008
2. The temporal logic of programs;A Pnueli;Symposium on Foundations of Computer Science,1977
3. Temporal-logic-based reactive mission and motion planning;H Kress-Gazit;IEEE transactions on robotics,2009
4. Optimal control of mixed logical dynamical systems with linear temporal logic specifications;S Karaman;Conf. Decis. Control,2008
5. Scalable and robust algorithms for task-based coordination from high-level specifications (scratches);K Leahy;IEEE Transactions on Robotics,2021