The Impact of Group Reputation in Multiagent Environments. - 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; et al. (IEEE Congress on Evolutionary Computation, 2006)

High-order punishment and the evolution of cooperation. - 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; et al. (GECCO, 2006)

Model Checking the FlexRay Physical Layer Protocol. - Michael Gerke 002; Rüdiger Ehlers; Bernd Finkbeiner; Hans-Jörg Peter (FMICS, 2010)

Combining Symbolic Representations for Solving Timed Games. - Rüdiger Ehlers; Robert Mattmüller; Hans-Jörg Peter (FORMATS, 2010)

Making the Right Cut in Model Checking Data-Intensive Timed Systems. - Rüdiger Ehlers; Michael Gerke 002; Hans-Jörg Peter (ICFEM, 2010)

Short Witnesses and Accepting Lassos in omega-Automata. - Rüdiger Ehlers (LATA, 2010)

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. - Rüdiger Ehlers; Daniel Fass; Michael Gerke 002; Hans-Jörg Peter (RTSS, 2010)

Minimising Deterministic Büchi Automata Precisely Using SAT Solving. - Rüdiger Ehlers (SAT, 2010)

On the Virtue of Patience: Minimizing Büchi Automata. - Rüdiger Ehlers; Bernd Finkbeiner (SPIN, 2010)

Generalised Rabin(1) synthesis - Rüdiger Ehlers (CoRR, 2010)

Synthia: Verification and Synthesis for Timed Automata. - Hans-Jörg Peter; Rüdiger Ehlers; Robert Mattmüller (CAV, 2011)

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. - Rüdiger Ehlers (NASA Formal Methods, 2011)

Monitoring Realizability. - Rüdiger Ehlers; Bernd Finkbeiner (RV, 2011)

Unbeast: Symbolic Bounded Synthesis. - Rüdiger Ehlers (TACAS, 2011)

Experimental Aspects of Synthesis - Rüdiger Ehlers (iWIGP, 2011)

Reactive Safety - Rüdiger Ehlers; Bernd Finkbeiner (GandALF, 2011)

Small witnesses, accepting lassos and winning strategies in omega-automata and games - Rüdiger Ehlers (CoRR, 2011)

ALLQBF Solving by Computational Learning. - Bernd Becker 001; Rüdiger Ehlers; Matthew Lewis 004; Paolo Marin (ATVA, 2012)

ACTL ∩ LTL Synthesis. - Rüdiger Ehlers (CAV, 2012)

Symbolically synthesizing small circuits. - Rüdiger Ehlers; Robert Könighofer; Georg Hofferek (FMCAD, 2012)

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

Sparse Positional Strategies for Safety Games - Rüdiger Ehlers; Daniela Moldovan (SYNT, 2012)

Symbolic bounded synthesis. - Rüdiger Ehlers (Formal Methods Syst. Des., 2012)

Symmetric and efficient synthesis. - Rüdiger Ehlers (2013)

Symmetrische und effiziente Synthese. - Rüdiger Ehlers (Ausgezeichnete Informatikdissertationen, 2013)

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. - Gangyuan Jing; Rüdiger Ehlers; Hadas Kress-Gazit (IROS, 2013)

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. - Rüdiger Ehlers; Martin Lange (IJCAR, 2014)

Resilience to intermittent assumption violations in reactive synthesis. - Rüdiger Ehlers; Ufuk Topcu (HSCC, 2014)

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

Synthesis with Identifiers. - Rüdiger Ehlers; Sanjit A. Seshia; Hadas Kress-Gazit (VMCAI, 2014)

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. - Rüdiger Ehlers; Stéphane Lafortune; Stavros Tripakis; Moshe Y. Vardi (WODES, 2014)

How to Handle Assumptions in Synthesis. - Roderick Bloem; Rüdiger Ehlers; Swen Jacobs; Robert Könighofer (SYNT, 2014)

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. - Jonathan A. DeCastro; Rüdiger Ehlers; Matthias Rungger; Ayca Balkan; Paulo Tabuada; Hadas Kress-Gazit (CoRR, 2014)

Low-Effort Specification Debugging and Analysis. - Rüdiger Ehlers; Vasumathi Raman (SYNT, 2014)

Cooperative Reactive Synthesis. - Roderick Bloem; Rüdiger Ehlers; Robert Könighofer (ATVA, 2015)

Estimator-based reactive synthesis under incomplete information. - Rüdiger Ehlers; Ufuk Topcu (HSCC, 2015)

Synthesizing cooperative reactive mission plans. - Rüdiger Ehlers; Robert Könighofer; Roderick Bloem (IROS, 2015)

Correct-by-synthesis reinforcement learning with temporal logic constraints. - Min Wen; Rüdiger Ehlers; Ufuk Topcu (IROS, 2015)

Computing the Complete Pareto Front. - Rüdiger Ehlers (CoRR, 2015)

Path-Based Program Repair. - Heinz Riener; Rüdiger Ehlers; Görschwin Fey (FESCA, 2015)

Slugs: Extensible GR(1) Synthesis. - Rüdiger Ehlers; Vasumathi Raman (CAV (2), 2016)

Risk-averse control of Markov decision processes with ω-regular objectives. - Rüdiger Ehlers; Salar Moarref; Ufuk Topcu (CDC, 2016)

Risk-Averse ω-regular Markov Decision Process Control. - Rüdiger Ehlers; Salar Moarref; Ufuk Topcu (CoRR, 2016)

CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification. - Heinz Riener; Rüdiger Ehlers; Görschwin Fey (ASP-DAC, 2017)

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. - Rüdiger Ehlers (ATVA, 2017)

Symmetric Synthesis. - Rüdiger Ehlers; Bernd Finkbeiner (FSTTCS, 2017)

Counterexample-Guided EF Synthesis of Boolean Functions. - Heinz Riener; Rüdiger Ehlers; Görschwin Fey (MBMV, 2017)

Special issue: Synthesis and SYNT 2014. - Krishnendu Chatterjee; Rüdiger Ehlers (Acta Informatica, 2017)

Automated generation of dynamics-based runtime certificates for high-level control. - Jonathan A. DeCastro; Rüdiger Ehlers; Matthias Rungger; Ayca Balkan; Hadas Kress-Gazit (Discret. Event Dyn. Syst., 2017)

Supervisory control and reactive synthesis: a comparative introduction. - Rüdiger Ehlers; Stéphane Lafortune; Stavros Tripakis; Moshe Y. Vardi (Discret. Event Dyn. Syst., 2017)

The first reactive synthesis competition (SYNTCOMP 2014). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Rüdiger Ehlers; Timotheus Hell; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

Safe Reinforcement Learning via Shielding. - Mohammed Alshiekh; Roderick Bloem; Rüdiger Ehlers; Bettina Könighofer; Scott Niekum; Ufuk Topcu (AAAI, 2018)

Steady Abstractions for CPS Controller Synthesis. - Francisco Palau Romero; Rüdiger Ehlers (ACC, 2018)

A Fragment of Linear Temporal Logic for Universal Very Weak Automata. - Keerthi Adabala; Rüdiger Ehlers (ATVA, 2018)

On Improving the Efficiency of Game Solving for Hybrid System Control. - Rüdiger Ehlers (CDC, 2018)

Embedded software for robotics: challenges and future directions: special session. - Houssam Abbas; Indranil Saha; Yasser Shoukry; Rüdiger Ehlers; Georgios Fainekos; Rajesh Gupta 001; Rupak Majumdar; Dogan Ulus (EMSOFT, 2018)

Approximately Propagation Complete and Conflict Propagating Constraint Encodings. - Rüdiger Ehlers; Francisco Palau Romero (SAT, 2018)

Revisiting Decision Diagrams for SAT. - Tom van Dijk; Rüdiger Ehlers; Armin Biere (CoRR, 2018)

Exact Synthesis of ESOP Forms. - Heinz Riener; Rüdiger Ehlers; Bruno Schmitt; Giovanni De Micheli (CoRR, 2018)

Resilient, Provably-Correct, and High-Level Robot Behaviors. - Kai Weng Wong; Rüdiger Ehlers; Hadas Kress-Gazit (IEEE Trans. Robotics, 2018)

Reactive Synthesis of Graphical User Interface Glue Code. - Rüdiger Ehlers; Keerthi Adabala (ATVA, 2019)

How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? - Rüdiger Ehlers (FM, 2019)

Evaluating ESOP Optimization Methods in Quantum Compilation Flows. - Giulia Meuli; Bruno Schmitt; Rüdiger Ehlers; Heinz Riener; Giovanni De Micheli (RC, 2019)

Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. - Rüdiger Ehlers; Jörg Grieser; Christoph Knieke; Andreas Rausch 001; Mirco Schindler (SE/SWM, 2019)

Learning Properties in LTL ∩ ACTL from Positive Examples Only. - Rüdiger Ehlers; Ivan Gavran; Daniel Neider (FMCAD, 2020)

SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. - Rüdiger Ehlers; Kai Treutler; Volker Wesling (SAT, 2020)

Engineering Human-Machine Teams for Trusted Collaboration. - Basel Alhaji; Janine Beecken; Rüdiger Ehlers; Jan Gertheiss; Felix Merz; Jörg P. Müller; Michael Prilla; Andreas Rausch 001; Andreas Reinhardt 001; Delphine Reinhardt; Christian Rembe; Niels-Ole Rohweder; et al. (Big Data Cogn. Comput., 2020)

Playing Against Opponents With Limited Memory. - Dhananjay Raju; Rüdiger Ehlers; Ufuk Topcu (CoRR, 2020)

Safe Multi-Agent Reinforcement Learning via Shielding. - Ingy Elsayed-Aly; Suda Bharadwaj; Christopher Amato; Rüdiger Ehlers; Ufuk Topcu; Lu Feng 001 (AAMAS, 2021)

Formalizing and guaranteeing human-robot interaction. - Hadas Kress-Gazit; Kerstin Eder; Guy Hoffman; Henny Admoni; Brenna Argall; Rüdiger Ehlers; Christoffer Heckman; Nils Jansen 001; Ross A. Knepper; Jan Kretínský; Shelly Levy-Tzedek; Jamy Li; et al. (Commun. ACM, 2021)

Adapting to the Behavior of Environments with Bounded Memory. - Dhananjay Raju; Rüdiger Ehlers; Ufuk Topcu (GandALF, 2021)

Correct-by-Construction Runtime Enforcement in AI - A Survey. - Bettina Könighofer; Roderick Bloem; Rüdiger Ehlers; Christian Pek (Principles of Systems Design, 2022)

Synthesizing Transducers from Complex Specifications. - Anvay Grover; Ruediger Ehlers; Loris D'Antoni (FMCAD, 2022)

Natural Colors of Infinite Words. - Rüdiger Ehlers; Sven Schewe (FSTTCS, 2022)

On the Influence of Grid Cell Size on Taxi Demand Prediction. - Merlin Korth; Sören Schleibaum; Jörg P. Müller; Rüdiger Ehlers (GOODTECHS, 2022)

Understanding Synthesized Reactive Systems Through Invariants. - Rüdiger Ehlers (FM (1), 2024)

Fully Generalized Reactivity(1) Synthesis. - Rüdiger Ehlers; Ayrat Khalimov 003 (TACAS (1), 2024)

Efficient Temporal Logic Runtime Monitoring for Tiny Systems. - Rüdiger Ehlers (TAP, 2024)

A Naturally-Colored Translation from LTL to Parity and COCOA. - Rüdiger Ehlers; Ayrat Khalimov 003 (CoRR, 2024)

Rerailing Automata. - Rüdiger Ehlers (CoRR, 2025)

Characterizing the Polynomial-Time Minimizable ω-Automata. - Bader Abu Radi; Rüdiger Ehlers (CoRR, 2025)