Follow
Ruediger Ehlers
Title
Cited by
Cited by
Year
Formal verification of piece-wise linear feed-forward neural networks
R Ehlers
Automated Technology for Verification and Analysis: 15th International …, 2017
8452017
Safe reinforcement learning via shielding
M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
8422018
Slugs: Extensible GR (1) Synthesis
R Ehlers, V Raman
International Conference on Computer Aided Verification, 333-339, 2016
1322016
Symbolic bounded synthesis
R Ehlers
Formal Methods in System Design 40 (2), 232-262, 2012
1172012
Unbeast: Symbolic bounded synthesis
R Ehlers
International Conference on Tools and Algorithms for the Construction and …, 2011
1112011
Safe Multi-Agent Reinforcement Learning via Shielding
I Elsayed-Aly, S Bharadwaj, C Amato, R Ehlers, U Topcu, L Feng
arXiv preprint arXiv:2101.11196, 2021
972021
Supervisory control and reactive synthesis: a comparative introduction
R Ehlers, S Lafortune, S Tripakis, MY Vardi
Discrete Event Dynamic Systems, 1-52, 2016
872016
Correct-by-synthesis reinforcement learning with temporal logic constraints
M Wen, R Ehlers, U Topcu
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015
712015
How to Handle Assumptions in Synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
EPTCS 157, 34-50, 0
69*
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International Journal on Software Tools for Technology Transfer, 1-24, 2016
552016
Resilience to intermittent assumption violations in reactive synthesis
R Ehlers, U Topcu
Proceedings of the 17th international conference on Hybrid systems …, 2014
532014
Generalized Rabin (1) synthesis with applications to robust system synthesis
R Ehlers
NASA Formal Methods Symposium, 101-115, 2011
462011
Formalizing and guaranteeing human-robot interaction
H Kress-Gazit, K Eder, G Hoffman, H Admoni, B Argall, R Ehlers, ...
Communications of the ACM 64 (9), 78-84, 2021
452021
Correct High-level Robot Behavior in Environments with Unexpected Events.
KW Wong, R Ehlers, H Kress-Gazit
Robotics: Science and Systems, 2014
422014
Synthia: verification and synthesis for timed automata
HJ Peter, R Ehlers, R Mattmüller
Computer Aided Verification, 649-655, 2011
362011
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
International Symposium on Automated Technology for Verification and …, 2015
332015
Synthesizing cooperative reactive mission plans
R Ehlers, R Könighofer, R Bloem
IROS, IEEE, 2015
302015
Symbolically synthesizing small circuits
R Ehlers, R Künighofer, G Hofferek
Formal Methods in Computer-Aided Design (FMCAD), 2012, 91-100, 2012
292012
Fully symbolic timed model checking using constraint matrix diagrams
R Ehlers, D Fass, M Gerke, HJ Peter
Real-Time Systems Symposium (RTSS), 2010 IEEE 31st, 360-371, 2010
292010
Bridging the gap between supervisory control and reactive synthesis: case of full observation and centralized control
R Ehlers, S Lafortune, S Tripakis, M Vardi
12th IFAC international workshop on discrete event systems (WODES), 2014
282014
The system can't perform the operation now. Try again later.
Articles 1–20