AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ruediger Ehlers

Ruediger Ehlers

Technische Universität Clausthal - Clausthal-Zellerfeld / Germany
Others
AD Scientific Index ID: 1765523
Clausthal University of Technology
person_outline Ruediger Ehlers's MOST POPULAR ARTICLES
1-) Safe reinforcement learning via shielding Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2-) Formal verification of piece-wise linear feed-forward neural networks Automated Technology for Verification and Analysis: 15th International …, 2017
3-) Slugs: Extensible GR (1) Synthesis International Conference on Computer Aided Verification, 333-339, 2016
4-) Safe Multi-Agent Reinforcement Learning via Shielding arXiv preprint arXiv:2101.11196, 2021
5-) Symbolic bounded synthesis Formal Methods in System Design 40 (2), 232-262, 2012