Rüdiger Ehlers

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 44

Top Venues

Universität Saarbrücken (PHD)

Education History

Universität Saarbrücken

PHD

Publications

Rüdiger Ehlers, Ayrat Khalimov
Fully Generalized Reactivity(1) Synthesis. TACAS (1) (2024)
Rüdiger Ehlers, Ayrat Khalimov
Fully Generalized Reactivity(1) Synthesis. CoRR (2024)
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design (2022)
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
Correct-by-Construction Runtime Enforcement in AI - A Survey. CoRR (2022)
Merlin Korth, Sören Schleibaum, Jörg P. Müller, Rüdiger Ehlers
On the Influence of Grid Cell Size on Taxi Demand Prediction. GOODTECHS (2022)
Anvay Grover, Rüdiger Ehlers, Loris D'Antoni
Synthesizing Transducers from Complex Specifications. CoRR (2022)
Rüdiger Ehlers, Sven Schewe
Natural Colors of Infinite Words. CoRR (2022)
Rüdiger Ehlers, Sven Schewe
Natural Colors of Infinite Words. FSTTCS (2022)
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
Adapting to the Behavior of Environments with Bounded Memory. GandALF (2021)
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
Safe Multi-Agent Reinforcement Learning via Shielding. CoRR (2021)
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64 (9) (2021)
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
Safe Multi-Agent Reinforcement Learning via Shielding. AAMAS (2021)
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR (2020)
Basel Alhaji, Janine Beecken, Rüdiger Ehlers, Jan Gertheiss, Felix Merz, Jörg P. Müller, Michael Prilla, Andreas Rausch, Andreas Reinhardt, Delphine Reinhardt, Christian Rembe, Niels-Ole Rohweder, Christoph Schwindt, Stephan Westphal, Jürgen Zimmermann
Engineering Human-Machine Teams for Trusted Collaboration. Big Data Cogn. Comput. 4 (4) (2020)
Rüdiger Ehlers, Ivan Gavran, Daniel Neider
Learning Properties in LTL ∩ ACTL from Positive Examples Only. FMCAD (2020)
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
Playing Against Opponents With Limited Memory. CoRR (2020)
Rüdiger Ehlers, Kai Treutler, Volker Wesling
SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. SAT (2020)
Rüdiger Ehlers
How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? FM (2019)
Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler
Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. SE/SWM (2019)
Rüdiger Ehlers, Keerthi Adabala
Reactive Synthesis of Graphical User Interface Glue Code. ATVA (2019)
Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC (2019)
Rüdiger Ehlers, Francisco Palau Romero
Approximately Propagation Complete and Conflict Propagating Constraint Encodings. SAT (2018)
Rüdiger Ehlers
On Improving the Efficiency of Game Solving for Hybrid System Control. CDC (2018)
Keerthi Adabala, Rüdiger Ehlers
A Fragment of Linear Temporal Logic for Universal Very Weak Automata. ATVA (2018)
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
Safe Reinforcement Learning via Shielding. AAAI (2018)
Francisco Palau Romero, Rüdiger Ehlers
Steady Abstractions for CPS Controller Synthesis. ACC (2018)
Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Trans. Robotics 34 (4) (2018)
Tom van Dijk, Rüdiger Ehlers, Armin Biere
Revisiting Decision Diagrams for SAT. CoRR (2018)
Heinz Riener, Rüdiger Ehlers, Bruno Schmitt, Giovanni De Micheli
Exact Synthesis of ESOP Forms. CoRR (2018)
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
Embedded software for robotics: challenges and future directions: special session. EMSOFT (2018)
Rüdiger Ehlers, Bernd Finkbeiner
Symmetric Synthesis. FSTTCS (2017)
Krishnendu Chatterjee, Rüdiger Ehlers
Special issue: Synthesis and SYNT 2014. Acta Informatica 54 (6) (2017)
Rüdiger Ehlers
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. CoRR (2017)
Heinz Riener, Rüdiger Ehlers, Görschwin Fey
CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification. ASP-DAC (2017)
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. 27 (2) (2017)
Heinz Riener, Rüdiger Ehlers, Görschwin Fey
Counterexample-Guided EF Synthesis of Boolean Functions. MBMV (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Rüdiger Ehlers
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. ATVA (2017)
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
Safe Reinforcement Learning via Shielding. CoRR (2017)
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27 (2) (2017)
Rüdiger Ehlers, Bernd Finkbeiner
Symmetric Synthesis. CoRR (2017)
Rüdiger Ehlers, Vasumathi Raman
Slugs: Extensible GR(1) Synthesis. CAV (2) (2016)
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
Risk-averse control of Markov decision processes with ω-regular objectives. CDC (2016)
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
Risk-Averse ω-regular Markov Decision Process Control. CoRR (2016)
Min Wen, Rüdiger Ehlers, Ufuk Topcu
Correct-by-synthesis reinforcement learning with temporal logic constraints. CoRR (2015)
Rüdiger Ehlers
Computing the Complete Pareto Front. CoRR (2015)
Min Wen, Rüdiger Ehlers, Ufuk Topcu
Correct-by-synthesis reinforcement learning with temporal logic constraints. IROS (2015)
Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
Cooperative Reactive Synthesis. CoRR (2015)
Rüdiger Ehlers, Robert Könighofer, Roderick Bloem
Synthesizing cooperative reactive mission plans. IROS (2015)
Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
Cooperative Reactive Synthesis. ATVA (2015)
Rüdiger Ehlers, Ufuk Topcu
Estimator-based reactive synthesis under incomplete information. HSCC (2015)
Heinz Riener, Rüdiger Ehlers, Görschwin Fey
Path-Based Program Repair. FESCA (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR (2015)
Rüdiger Ehlers, Martin Lange
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. IJCAR (2014)
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
How to Handle Assumptions in Synthesis. SYNT (2014)
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES (2014)
Rüdiger Ehlers, Vasumathi Raman
Low-Effort Specification Debugging and Analysis. SYNT (2014)
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR (2014)
Rüdiger Ehlers, Ufuk Topcu
Resilience to intermittent assumption violations in reactive synthesis. HSCC (2014)
Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit
Synthesis with Identifiers. VMCAI (2014)
Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems (2014)
Rüdiger Ehlers
Symmetrische und effiziente Synthese. Ausgezeichnete Informatikdissertationen (2013)
Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit
Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. IROS (2013)
Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
ALLQBF Solving by Computational Learning. ATVA (2012)
Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
Symbolically synthesizing small circuits. FMCAD (2012)
Rüdiger Ehlers
ACTL ∩ LTL Synthesis. CAV (2012)
Rüdiger Ehlers, Daniela Moldovan
Sparse Positional Strategies for Safety Games SYNT (2012)
Rüdiger Ehlers
Symbolic bounded synthesis. Formal Methods Syst. Des. 40 (2) (2012)
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace (2012)
Rüdiger Ehlers
Unbeast: Symbolic Bounded Synthesis. TACAS (2011)
Rüdiger Ehlers
Small witnesses, accepting lassos and winning strategies in omega-automata and games CoRR (2011)
Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller
Synthia: Verification and Synthesis for Timed Automata. CAV (2011)
Rüdiger Ehlers, Bernd Finkbeiner
Reactive Safety GandALF (2011)
Rüdiger Ehlers
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. NASA Formal Methods (2011)
Rüdiger Ehlers, Bernd Finkbeiner
Monitoring Realizability. RV (2011)
Rüdiger Ehlers
Experimental Aspects of Synthesis iWIGP (2011)
Rüdiger Ehlers
Symbolic Bounded Synthesis. CAV (2010)
Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter
Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM (2010)
Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS (2010)
Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter
Combining Symbolic Representations for Solving Timed Games. FORMATS (2010)
Rüdiger Ehlers, Bernd Finkbeiner
On the Virtue of Patience: Minimizing Büchi Automata. SPIN (2010)
Rüdiger Ehlers
Minimising Deterministic Büchi Automata Precisely Using SAT Solving. SAT (2010)
Rüdiger Ehlers
Generalised Rabin(1) synthesis CoRR (2010)
Rüdiger Ehlers
-Automata. LATA (2010)
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
Model Checking the FlexRay Physical Layer Protocol. FMICS (2010)
Bastian Baranski, Thomas Bartz-Beielstein, Rüdiger Ehlers, Thusinthan Kajendran, Björn Kosslers, Jörn Mehnen, Tomasz Polaszek, Ralf Reimholz, Jens M. Schmidt, Karlheinz Schmitt, Danny Seis, Rafael Slodzinski, Simon Steeg, Nils Wiemann, Marc Zimmermann
The Impact of Group Reputation in Multiagent Environments. IEEE Congress on Evolutionary Computation (2006)
Bastian Baranski, Thomas Bartz-Beielstein, Rüdiger Ehlers, Thusinthan Kajendran, Björn Kosslers, Jörn Mehnen, Tomasz Polaszek, Ralf Reimholz, Jens M. Schmidt, Karlheinz Schmitt, Danny Seis, Rafael Slodzinski, Simon Steeg, Nils Wiemann, Marc Zimmermann
High-order punishment and the evolution of cooperation. GECCO (2006)

Rüdiger Ehlers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rüdiger Ehlers