Enforcing temporal logic specifications via reinforcement learning

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]

Authors

Austin Jones

This author has not been identified. Look up 'Austin Jones' in Google

Derya Aksaray

This author has not been identified. Look up 'Derya Aksaray' in Google

Zhaodan Kong

This author has not been identified. Look up 'Zhaodan Kong' in Google

Mac Schwager

This author has not been identified. Look up 'Mac Schwager' in Google

Calin Belta

This author has not been identified. Look up 'Calin Belta' in Google