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]
Abstract is missing.