Ruediger Ehlers
Cited by
Cited by
Formal verification of piece-wise linear feed-forward neural networks
R Ehlers
International Symposium on Automated Technology for Verification and …, 2017
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
Unbeast: Symbolic bounded synthesis
R Ehlers
International Conference on Tools and Algorithms for the Construction and …, 2011
Symbolic bounded synthesis
R Ehlers
International Conference on Computer Aided Verification, 365-379, 2010
Slugs: Extensible GR (1) Synthesis
R Ehlers, V Raman
International Conference on Computer Aided Verification, 333-339, 2016
How to Handle Assumptions in Synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
EPTCS 157, 34-50, 0
Resilience to intermittent assumption violations in reactive synthesis
R Ehlers, U Topcu
Proceedings of the 17th international conference on Hybrid systems …, 2014
Symbolic bounded synthesis
R Ehlers
Formal Methods in System Design 40 (2), 232-262, 2012
Generalized Rabin (1) synthesis with applications to robust system synthesis
R Ehlers
NASA Formal Methods Symposium, 101-115, 2011
Supervisory control and reactive synthesis: a comparative introduction
R Ehlers, S Lafortune, S Tripakis, MY Vardi
Discrete Event Dynamic Systems, 1-52, 2016
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
Symbolically synthesizing small circuits
R Ehlers, R Künighofer, G Hofferek
Formal Methods in Computer-Aided Design (FMCAD), 2012, 91-100, 2012
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
Synthia: verification and synthesis for timed automata
HJ Peter, R Ehlers, R Mattmüller
Computer Aided Verification, 649-655, 2011
Correct High-level Robot Behavior in Environments with Unexpected Events.
KW Wong, R Ehlers, H Kress-Gazit
Robotics: Science and Systems, 2014
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
Minimising deterministic Büchi automata precisely using SAT solving
R Ehlers
Theory and Applications of Satisfiability Testing–SAT 2010, 326-332, 2010
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
International Symposium on Automated Technology for Verification and …, 2015
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
On the virtue of patience: minimizing Büchi automata
R Ehlers, B Finkbeiner
International SPIN Workshop on Model Checking of Software, 129-145, 2010
The system can't perform the operation now. Try again later.
Articles 1–20