Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta. Enforcing temporal logic specifications via reinforcement learning. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 279-280, ACM, 2015. [doi]
@inproceedings{JonesAKSB15,
title = {Enforcing temporal logic specifications via reinforcement learning},
author = {Austin Jones and Derya Aksaray and Zhaodan Kong and Mac Schwager and Calin Belta},
year = {2015},
doi = {10.1145/2728606.2728640},
url = {http://doi.acm.org/10.1145/2728606.2728640},
researchr = {https://researchr.org/publication/JonesAKSB15},
cites = {0},
citedby = {0},
pages = {279-280},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
editor = {Antoine Girard and Sriram Sankaranarayanan},
publisher = {ACM},
isbn = {978-1-4503-3433-4},
}