Publications

Journal Publications

  1. Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi: Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems 27(2): 209-260 (2017)

  2. Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit: Automated generation of dynamics-based runtime certificates for high-level control. Discrete Event Dynamic Systems 27(2): 371-405 (2017)

  3. 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). International Journal on Software Tools for Technology Transfer (STTT) 19(3): 367-390 (2017)

  4. Rüdiger Ehlers: Symbolic Bounded Synthesis. Formal Methods in System Design (FMSD) 20(4): 232-262 (2012)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

Peer-Reviewed Conference Publications

  1. Rüdiger Ehlers and Bernd Finkbeiner: Symmetric Synthesis. Accepted at the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)

    The full version of the paper (with proofs) is available on ArXiV/CoRR. The published version will appear in the LIPIcs proceedings series.

  2. Rüdiger Ehlers: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017)

    A preprint of the paper is available on ArXiV/CoRR. Copyright by Springer Verlag. The final publication is available at link.springer.com.

    Note that the preprint has exactly the same content as the published version.

  3. Heinz Riener, Rüdiger Ehlers, and Görschwin Fey: CEGAR-based EF Synthesis of Boolean Functions with an Application to Circuit Rectification. 23rd Asia and South Pacific Design Automation Conference (ASP-DAC 2017)

    This is the authors' version of the work. It is posted here for your personal use. Not for redistribution.

  4. Rüdiger Ehlers, Salar Moarref, and Ufuk Topcu: Risk-Averse Control of Markov Decision Processes with omega-regular Objectives. 55th IEEE Conference on Decision and Control (CDC 2016)

    This is the authors' version of the work. It is posted here for your personal use. Not for redistribution.

  5. Rüdiger Ehlers and Vasumathi Raman: Slugs: Extensible GR(1) Synthesis. 28th Int'l Conference on Computer Aided Verification (CAV 2016)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  6. Rüdiger Ehlers and Ufuk Topcu: Estimator-based Reactive Synthesis Under Incomplete Information. 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)

    This is the authors' version of the work. It is posted here for your personal use. Not for redistribution.

  7. Roderick Bloem, Rüdiger Ehlers, and Robert Könighofer: Cooperative Reactive Synthesis. 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  8. Rüdiger Ehlers, Robert Könighofer, and Roderick Bloem: Synthesizing Cooperative Reactive Mission Plans. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015)

    This is the authors' version of the work. It is posted here for your personal use. Not for redistribution.

  9. Min Wen, Rüdiger Ehlers, and Ufuk Topcu: Correct-by-synthesis Reinforcement Learning with Temporal Logic Constraints. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015)

    The publisher's version of the paper can be obtained from IEEE Xplore here.
    In case you do not have access to the paper on IEEE Xplore, the pre-print (before review) can be obtained from ArXiV/CoRR.

  10. Heinz Riener, Rüdiger Ehlers, and Görschwin Fey: Path-Based Program Repair. 12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015)

  11. Rüdiger Ehlers and Martin Lange: A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. 7th International Joint Conference on Automated Reasoning (IJCAR 2014)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  12. Kai Weng Wong, Rüdiger Ehlers, and Hadas Kress-Gazit: Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems (RSS 2014)

  13. 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. 12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES 2014)

    This is the authors' version of the work. It is posted here for your personal use. Not for redistribution.

  14. Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, and Robert Könighofer: How to Handle Assumptions in Synthesis. 3rd Workshop on Synthesis (SYNT 2014)

  15. Rüdiger Ehlers and Vasumathi Raman Low-Effort Specification Debugging and Analysis. 3rd Workshop on Synthesis (SYNT 2014)

  16. Rüdiger Ehlers and Ufuk Topcu: Resilience to Intermittent Assumption Violations in Reactive Synthesis. 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)

    This is the authors' version of the work. It is posted here for your personal use. Not for redistribution.

  17. Rüdiger Ehlers, Sanjit A. Seshia, and Hadas Kress-Gazit: Synthesis with Identifiers. 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  18. Gangyuan Jing, Rüdiger Ehlers and Hadas Kress-Gazit: Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments. IEEE International Conference on Intelligent Robots and Systems (IROS 2013)

  19. Rüdiger Ehlers, Robert Könighofer, and Georg Hofferek: Symbolically Synthesizing Small Circuits. 12th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)

  20. Bernd Becker, Rüdiger Ehlers, Matthew Lewis, and Paolo Marin: ALLQBF Solving by Computational Learning. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  21. Rüdiger Ehlers and Daniela Moldovan: Sparse Positional Strategies for Safety Games. 1st Workshop on Synthesis (SYNT 2012)

  22. Rüdiger Ehlers: ACTL ∩ LTL Synthesis. 24th International Conference on Computer Aided Verification (CAV 2012)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  23. Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter: FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace (I@A 2012)

  24. Rüdiger Ehlers and Bernd Finkbeiner: Monitoring Realizability. 2nd International Conference on Runtime Verification (RV 2011)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  25. Hans-Jörg Peter, Rüdiger Ehlers, and Robert Mattmüller: Synthia: Verification and Synthesis for Timed Automata. 23rd International Conference on Computer Aided Verification (CAV 2011)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  26. Rüdiger Ehlers and Bernd Finkbeiner: Reactive Safety. 2nd International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011)

    Click here to download the paper.

    An errata list is avaiable here.

  27. Rüdiger Ehlers: Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. 3rd NASA Formal Methods Symposium (NFM 2011)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

    There are some author's notes available for this paper.

  28. Rüdiger Ehlers: Unbeast: Symbolic Bounded Synthesis. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  29. Rüdiger Ehlers: Experimental Aspects of Synthesis. International Workshop on Interactions, Games and Protocols 2011 (iWIGP 2011)

  30. Rüdiger Ehlers, Daniel Fass, Michael Gerke, and Hans-Jörg Peter: Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams. 31st IEEE Real-Time Systems Symposium (RTSS 2010)

    This is the author-archived version of the paper.

    The original publication is available on IEEE XPlore under https://doi.org/10.1109/RTSS.2010.36. © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

    An errata list is avaiable here.

  31. Rüdiger Ehlers, Michael Gerke, and Hans-Jörg Peter: Making the Right Cut in Model Checking Data-Intensive Timed Systems. 11th International Conference on Formal Engineering Methods (ICFEM 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  32. Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter: Model Checking the FlexRay Physical Layer Protocol. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  33. Rüdiger Ehlers and Bernd Finkbeiner: On the Virtue of Patience: Minimizing Büchi Automata. 17th International SPIN Workshop on Model Checking of Software (SPIN 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  34. Rüdiger Ehlers, Robert Mattmüller, and Hans-Jörg Peter: Combining Symbolic Representations for Solving Timed Games. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  35. Rüdiger Ehlers: Symbolic Bounded Synthesis. 22nd International Conference on Computer Aided Verification (CAV 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

    There are some author's notes available for this paper.

  36. Rüdiger Ehlers: Minimising Deterministic Büchi Automata Precisely using SAT Solving. 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

  37. Rüdiger Ehlers: Short Witnesses and Accepting Lassos in omega-automata. 4th Int'l Conference on Language, Automata Theory and Applications (LATA 2010)

    Click here to download the author-archived version of the paper. Copyright by Springer Verlag. The original publication is available at www.springerlink.com

    There are some author's notes available for this paper.

Technical Reports & Preprints

The following list only contains technical reports that have not appeared as a peer-reviewed publication as well (yet).

  1. Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers, Bettina Könighofer, Scott Niekum, and Ufuk Topcu: Safe Reinforcement Learning via Shielding. ArXiV/CoRR 1708.08611 (2017)

  2. Rüdiger Ehlers: Computing the Complete Pareto Front. ArXiV/CoRR 1512.05207 (2015)

  3. Rüdiger Ehlers: Small Witnesses, Accepting Lassos and Winning Strategies in omega-automata and Games. AVACS Technical Report No. 80, also available as ArXiV/CoRR 1108.0315 (2011)

  4. Rüdiger Ehlers, E. Moritz Hahn, Martin Mehlmann, Hans-Jörg Peter, Jan Rakow, Tobe Toben, and Bernd Westphal: Dynamic Communicating Probabilistic Timed Automata Playing Games. AVACS Technical Report No. 75, SFB/TR 14 AVACS (2011)

Other publications

  1. My Ph.D. thesis:
    Rüdiger Ehlers. Symmetric and Efficient Synthesis. Saarland University, 2013

  2. Summary of my Ph.D. thesis in German language:
    Rüdiger Ehlers: Symmetrische und effiziente Synthese. In: Ausgezeichnete Informatikdissertationen 2013, GI-Edition - Lecture Notes in Informatics (LNI), D-14, ISBN 978-3-88579-418-9, Bonner Köllen Verlag (2013)

Edited Volumes

  1. Krishnendu Chatterjee and Rüdiger Ehlers: Special Issue on Synthesis and SYNT 2014, Acta Informatica (Volume 54, Issue 6), Springer Verlag, 2017

  2. Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha: Proceedings 3rd Workshop on Synthesis (SYNT 2014), Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014