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.
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.
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.