Ana Brândusa Pavel, Cristian-Ioan Vasile, and Ioan Dumitrache. Robot localization implemented with enzymatic numerical P systems. In Proc. of the Living Machines 2012: The International Conference on Biomimetic and Biohybrid Systems, volume 7375 of Lecture Notes in Computer Science, pages 204–215, Barcelona, Spain, July 2012. Springer Berlin Heidelberg. doi:10.1007/978-3-642-31525-1_18.
Cristian-Ioan Vasile and Calin Belta. Sampling-Based Temporal Logic Path Planning. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 4817–4822, Tokyo, Japan, November 2013. doi:10.1109/IROS.2013.6697051.
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.
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.
