Ruediger Ehlers
Zitiert von
Zitiert von
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
Slugs: Extensible GR (1) Synthesis
R Ehlers, V Raman
International Conference on Computer Aided Verification, 333-339, 2016
Symbolic bounded synthesis
R Ehlers
International Conference on Computer Aided Verification, 365-379, 2010
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
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
Generalized Rabin (1) synthesis with applications to robust system synthesis
R Ehlers
NASA Formal Methods Symposium, 101-115, 2011
Symbolic bounded synthesis
R Ehlers
Formal Methods in System Design 40 (2), 232-262, 2012
Correct High-level Robot Behavior in Environments with Unexpected Events.
KW Wong, R Ehlers, H Kress-Gazit
Robotics: Science and Systems, 2014
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
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
International Symposium on Automated Technology for Verification and …, 2015
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
Synthesizing cooperative reactive mission plans
R Ehlers, R Könighofer, R Bloem
IROS, IEEE, 2015
Minimising deterministic Büchi automata precisely using SAT solving
R Ehlers
Theory and Applications of Satisfiability Testing–SAT 2010, 326-332, 2010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20