Cristian-Ioan Vasile and Calin Belta. Reactive Sampling-Based Temporal Logic Path Planning. In IEEE International Conference on Robotics and Automation (ICRA), pages 4310–4315, Hong Kong, China, June 2014. doi: 10.1109/ICRA.2014.6907486.
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. In International Symposium on Experimental Robotics (ISER), pages –, Marrakech/Essaouira, Morocco, June 2014. link.
Cristian-Ioan Vasile and Calin Belta. An Automata-Theoretic Approach to the Vehicle Routing Problem. In Robotics: Science and Systems Conference (RSS), pages 1–9, Berkeley, California, USA, July 2014. link.