Multi-Robot Systems
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
Multi-robot routing and scheduling with temporal logic and synchronization constraints
Alessio Mosca, Cristian Ioan Vasile, Calin Belta, and Davide M. Raimondo. Multi-robot routing and scheduling with temporal logic and synchronization constraints. In IEEE International Conference on Control and Robots (ICCR), Jeju Island, South Korea, December 2019.
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications
Austin M Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadradinni, Zachary Serlin, Roberto Tron, and Calin Belta. Scalable and Robust Deployment of Heterogenenous Teams from Temporal Logic Specifications. In International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, October 2019.
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints
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 M. Ani Hsieh, Oussama Khatib, and Vijay Kumar, editors, Experimental Robotics, volume 109 of Springer Tracts in Advanced Robotics, pages 605-619. Springer International Publishing, 2016. isbn: 978-3-319-23777-0, link
Multi-vehicle motion planning for social optimal mobility-on-demand
Jesper Karlsson, Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, and Daniela Rus. Multi-vehicle motion planning for social optimal mobility-on-demand. In IEEE International Conference on Robotics and Automation (ICRA), pages 7298-7305, Brisbane, Australia, May 2018. doi:doi:10.1109/ICRA.2018.8462968.
Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints
Derya Aksaray, Cristian-Ioan Vasile, and Calin Belta. Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints. In IEEE International Conference on Robotics and Automation (ICRA), pages 3141–3146, Stockholm, Sweden, May 2016. doi:10.1109/ICRA.2016.7487481.
Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints. Autonomous Robots, page 1-16, 2016. doi:10.1007/s10514-015-9519-z.
Human-swarm interface design and new control techniques for swarms autonomous mobile robots
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.
A software system for collaborative robotics applications and its application in particle swarm optimization implementations
Cristian-Ioan Vasile and Catalin Buiu. A software system for collaborative robotics applications and its application in particle swarm optimization implementations. Applied Soft Computing, 11(8):5498–5507, December 2011. if=2.084, doi:10.1016/j.asoc.2011.05.009.
Pages
