Cristian-Ioan Vasile, Vasumathi Raman, and Sertac Karaman. Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3840-3847, Vancouver, BC, Canada, September 2017. doi:10.1109/IROS.2017.8206235.
Language-guided Controller Synthesis
Francisco Penedo Alvarez, Cristian-Ioan Vasile, and Calin Belta. Language-Guided Sampling-based Planning using Temporal Relaxation. In Workshop on the Algorithmic Foundations of Robotics (WAFR), pages -, San Francisco, CA, USA, December 2016. link.