Temporal Logic Swarm Control with Splitting and Merging
Motion and Path Planning
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
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.
Control in Belief Space with Temporal Logic Specifications using Vision-based Localization
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications using Vision-based Localization. International Journal of Robotics Research. 38(6):702-722. doi:10.1177/0278364919846340.
Control in Belief Space with Temporal Logic Specifications
Cristian-Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications. In IEEE Conference on Decision and Control (CDC), pages 7419-7424, Las Vegas, NV, USA, December 2016. doi:10.1109/CDC.2016.7799415.
Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints
Cristofalo Eric, Leahy Kevin, Vasile Cristian Ioan, Montijano Eduardo, Schwager Mac, and Belta Calin. Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints. In International Symposium on Experimental Robotics (ISER), pages 525-537, Tokyo, Japan, October 2016. doi:10.1007/978-3-319-50115-4_46.
Reactive Sampling-Based Temporal Logic Path Planning
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.
Sampling-Based Temporal Logic Path Planning
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.
Reactive Sampling-Based Temporal Logic Path Planning
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.
