[IEEE 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Vancouver, BC (2017.9.24-2017.9.28)] 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Vasile, Cristian-Ioan, Raman, Vasumathi, Karaman, SertacYear:
2017
Language:
english
DOI:
10.1109/IROS.2017.8206235
File:
PDF, 566 KB
english, 2017