@inproceedings{6f20f16afd5c428f8e85f8c26ad14951,
title = "Poster: Enforcing temporal logic specifications via reinforcement learning",
author = "Austin Jones and Derya Aksaray and Zhaodan Kong and Mac Schwager and Calin Belta",
year = "2015",
month = apr,
day = "14",
doi = "10.1145/2728606.2728640",
language = "English (US)",
series = "Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015",
publisher = "Association for Computing Machinery",
pages = "279--280",
booktitle = "Proceedings of the 18th International Conference on Hybrid Systems",
note = "18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015 ; Conference date: 14-04-2015 Through 16-04-2015",
}