1. Principles of model checking;Baier,2008
2. Bhatia, A., Kavraki, L. E., & Vardi, M. Y. (2010). Motion planning with hybrid dynamics and temporal goals. In IEEE conf. on decision and control. Atlanta, GA (pp. 1108–1115).
3. Ding, X. C., Lazar, M., & Belta, C. (2012). Receding horizon temporal logic control for finite deterministic systems. In American control conference. Montreal, Canada (pp. 715 -720).
4. Ding, X. C., Smith, S. L., Belta, C., & Rus, D. (2011). Mdp optimal control under temporal logic constraints. In IEEE conf. on decision and control. Orlando, FL(pp. 532–538).
5. Gazit, H. K., Fainekos, G., & Pappas, G. J. (2007). Where’s Waldo? Sensor-based temporal logic motion planning. In IEEE conference on robotics and automation. Rome, Italy (pp. 3116–3121).