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]
@inproceedings{VasileRK17,
title = {Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications},
author = {Cristian Ioan Vasile and Vasumathi Raman and Sertac Karaman},
year = {2017},
doi = {10.1109/IROS.2017.8206235},
url = {https://doi.org/10.1109/IROS.2017.8206235},
researchr = {https://researchr.org/publication/VasileRK17},
cites = {0},
citedby = {0},
pages = {3840-3847},
booktitle = {2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017},
publisher = {IEEE},
isbn = {978-1-5386-2682-5},
}