Ehlers, Rüdiger

Correct-by-synthesis reinforcement learning with temporal logic constraints

Wen, M., Ehlers, R., & Topcu, U. (2015) · 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Formal Methods in VerificationReinforcement Learning in Robotics

Cited by 59

Safe Reinforcement Learning via Shielding

Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., & Topcu, U. (2018) · Proceedings of the AAAI Conference on Artificial Intelligence

Reinforcement Learning in RoboticsFormal Methods in Verification

Cited by 37