Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, and Daniela Rus. Minimum violation scLTL motion planning for mobility-on-demand. In 2nd Symposium on the COntrol of NEtwork Systems (SCONES), page Poster, Boston, MA, USA, October 2017.
Brandon Araki, Kiran Vodrahalli, Cristian Ioan Vasile, and Daniela Rus. Learning to Plan with Logical Automata. In Infer to Control, Workshop on Probabilistic Reinforcement Learning and Structured Control (Infer2Control), NIPS, page Poster, Montreal, Canada, December 2018. link.
Prashant Vaidyanathan, Evan Appleton, Curtis Madsen, Cristian-Ioan Vasile, Alan Pacheco, Iman Haghighi, Nicholas Roehner, Rachael Ivison, Junmin Wang, Yash Agarwal, Zachary Chapasko, Calin Belta, and Douglas Densmore. Genetic Systems Engineering. In 8th International Workshop on Bio-Design Automation, Poster, Newcastle upon Tyne, UK, August 2016. link.
Cristian-Ioan Vasile, Ana Brândusa Pavel, Octavian Arsene, Nirvana Popescu, and Catalin Buiu. Human-swarm interface design and new control techniques for swarms autonomous mobile robots. In Proc of the 4th International Conference on Cognitive Systems (CogSys), page Poster, ETH Zurich, Switzerland, January 2010. link.
Cristian-Ioan Vasile, and Calin Belta. Reactive Sampling-Based Temporal Logic Path Planning. In 5th Workshop on Formal Methods for Robotics and Automation, Berkeley, CA, USA, July 2014. link.
