Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman. Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017. pages 3840-3847, IEEE, 2017. [doi]
Abstract is missing.