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

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

Understanding Synthesized Reactive Systems Through Invariants - Rüdiger Ehlers (Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, 2024)

Fully Generalized Reactivity(1) Synthesis - Rüdiger Ehlers; Ayrat Khalimov (Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, 2024)

Efficient Temporal Logic Runtime Monitoring for Tiny Systems - Rüdiger Ehlers (Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings, 2024)

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

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

Correct-by-Construction Runtime Enforcement in AI - A Survey - Bettina Könighofer; Roderick Bloem; Rüdiger Ehlers; Christian Pek (Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, 2022)

Synthesizing Transducers from Complex Specifications - Anvay Grover; Ruediger Ehlers; Loris D'Antoni (22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, 2022)

Natural Colors of Infinite Words - Rüdiger Ehlers; Sven Schewe (42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India, 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 (Smart Objects and Technologies for Social Goods - 8th EAI International Conference, GOODTECHS 2022, Aveiro, Portugal, November 16-18, 2022, Proceedings, 2022)

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

Synthesizing Transducers from Complex Specifications - Anvay Grover; Rüdiger Ehlers; Loris D'Antoni (CoRR, 2022)

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

Formalizing and guaranteeing human-robot interaction - 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; et al. (Commun. ACM, 2021)

Safe Multi-Agent Reinforcement Learning via Shielding - Ingy Elsayed-Aly; Suda Bharadwaj; Christopher Amato; Rüdiger Ehlers; Ufuk Topcu; Lu Feng (AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021, 2021)

Adapting to the Behavior of Environments with Bounded Memory - Dhananjay Raju; Rüdiger Ehlers; Ufuk Topcu (Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021, 2021)

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

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; Andreas Reinhardt; Delphine Reinhardt; Christian Rembe; Niels-Ole Rohweder; et al. (Big Data Cogn. Comput., 2020)

Learning Properties in LTL \(\) ACTL from Positive Examples Only - Rüdiger Ehlers; Ivan Gavran; Daniel Neider (2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, 2020)

SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing - Rüdiger Ehlers; Kai Treutler; Volker Wesling (Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, 2020)

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

Formalizing and Guaranteeing* Human-Robot Interaction - 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; et al. (CoRR, 2020)

Reactive Synthesis of Graphical User Interface Glue Code - Rüdiger Ehlers; Keerthi Adabala (Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, 2019)

How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? - Rüdiger Ehlers (Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019)

Evaluating ESOP Optimization Methods in Quantum Compilation Flows - Giulia Meuli; Bruno Schmitt; Rüdiger Ehlers; Heinz Riener; Giovanni De Micheli (Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, 2019)

Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification - Rüdiger Ehlers; Jörg Grieser; Christoph Knieke; Andreas Rausch; Mirco Schindler (Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019)

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

Safe Reinforcement Learning via Shielding - Mohammed Alshiekh; Roderick Bloem; Rüdiger Ehlers; Bettina Könighofer; Scott Niekum; Ufuk Topcu (Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, 2018)

Steady Abstractions for CPS Controller Synthesis - Francisco Palau Romero; Rüdiger Ehlers (2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018, 2018)

A Fragment of Linear Temporal Logic for Universal Very Weak Automata - Keerthi Adabala; Rüdiger Ehlers (Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, 2018)

On Improving the Efficiency of Game Solving for Hybrid System Control - Rüdiger Ehlers (57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, 2018)

Embedded software for robotics: challenges and future directions: special session - Houssam Abbas; Indranil Saha; Yasser Shoukry; Rüdiger Ehlers; Georgios Fainekos; Rajesh Gupta; Rupak Majumdar; Dogan Ulus (Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018, 2018)

Approximately Propagation Complete and Conflict Propagating Constraint Encodings - Rüdiger Ehlers; Francisco Palau Romero (Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, 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)

Special issue: Synthesis and SYNT 2014 - Krishnendu Chatterjee; Rüdiger Ehlers (Acta Informatica, 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)

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)

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; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification - Heinz Riener; Rüdiger Ehlers; Görschwin Fey (22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017, 2017)

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks - Rüdiger Ehlers (Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, 2017)

Symmetric Synthesis - Rüdiger Ehlers; Bernd Finkbeiner (37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, 2017)

Counterexample-Guided EF Synthesis of Boolean Functions - Heinz Riener; Rüdiger Ehlers; Görschwin Fey (Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017, 2017)

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

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

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

Slugs: Extensible GR(1) Synthesis - Rüdiger Ehlers; Vasumathi Raman (Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, 2016)

Risk-averse control of Markov decision processes with \(ω\)-regular objectives - Rüdiger Ehlers; Salar Moarref; Ufuk Topcu (55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016, 2016)

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

Cooperative Reactive Synthesis - Roderick Bloem; Rüdiger Ehlers; Robert Könighofer (Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, 2015)

Estimator-based reactive synthesis under incomplete information - Rüdiger Ehlers; Ufuk Topcu (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, 2015)

Synthesizing cooperative reactive mission plans - Rüdiger Ehlers; Robert Könighofer; Roderick Bloem (2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015, 2015)

Correct-by-synthesis reinforcement learning with temporal logic constraints - Min Wen; Rüdiger Ehlers; Ufuk Topcu (2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015, 2015)

Path-Based Program Repair - Heinz Riener; Rüdiger Ehlers; Görschwin Fey (Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015, 2015)

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

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; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (CoRR, 2015)

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

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

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic - Rüdiger Ehlers; Martin Lange (Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, 2014)

Resilience to intermittent assumption violations in reactive synthesis - Rüdiger Ehlers; Ufuk Topcu (17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, 2014)

Correct High-level Robot Behavior in Environments with Unexpected Events - Kai Weng Wong; Rüdiger Ehlers; Hadas Kress-Gazit (Robotics: Science and Systems X, University of California, Berkeley, USA, July 12-16, 2014, 2014)

Synthesis with Identifiers - Rüdiger Ehlers; Sanjit A. Seshia; Hadas Kress-Gazit (Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 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 (12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014, 2014)

How to Handle Assumptions in Synthesis - Roderick Bloem; Rüdiger Ehlers; Swen Jacobs; Robert Könighofer (Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014, 2014)

Low-Effort Specification Debugging and Analysis - Rüdiger Ehlers; Vasumathi Raman (Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014, 2014)

Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014 - Krishnendu Chatterjee; Rüdiger Ehlers; Susmit Jha (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)

Symmetric and efficient synthesis - Rüdiger Ehlers (Universität Saarbrücken, 2013)

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments - Gangyuan Jing; Rüdiger Ehlers; Hadas Kress-Gazit (2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, 2013)

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

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

ALLQBF Solving by Computational Learning - Bernd Becker; Rüdiger Ehlers; Matthew Lewis; Paolo Marin (Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, 2012)

ACTL \(\) LTL Synthesis - Rüdiger Ehlers (Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012)

Symbolically synthesizing small circuits - Rüdiger Ehlers; Robert Könighofer; Georg Hofferek (Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, 2012)

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers - Michael Gerke; Rüdiger Ehlers; Bernd Finkbeiner; Hans-Jörg Peter (Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012, 2012)

Sparse Positional Strategies for Safety Games - Rüdiger Ehlers; Daniela Moldovan (Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012, 2012)

Synthia: Verification and Synthesis for Timed Automata - Hans-Jörg Peter; Rüdiger Ehlers; Robert Mattmüller (Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, 2011)

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis - Rüdiger Ehlers (NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, 2011)

Monitoring Realizability - Rüdiger Ehlers; Bernd Finkbeiner (Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, 2011)

Unbeast: Symbolic Bounded Synthesis - Rüdiger Ehlers (Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, 2011)

Experimental Aspects of Synthesis - Rüdiger Ehlers (Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011, 2011)

Reactive Safety - Rüdiger Ehlers; Bernd Finkbeiner (Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011, 2011)

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

Symbolic Bounded Synthesis - Rüdiger Ehlers (Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, 2010)

Model Checking the FlexRay Physical Layer Protocol - Michael Gerke; Rüdiger Ehlers; Bernd Finkbeiner; Hans-Jörg Peter (Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, 2010)

Combining Symbolic Representations for Solving Timed Games - Rüdiger Ehlers; Robert Mattmüller; Hans-Jörg Peter (Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings, 2010)

Making the Right Cut in Model Checking Data-Intensive Timed Systems - Rüdiger Ehlers; Michael Gerke; Hans-Jörg Peter (Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010)

Short Witnesses and Accepting Lassos in omega-Automata - Rüdiger Ehlers (Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings, 2010)

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams - Rüdiger Ehlers; Daniel Fass; Michael Gerke; Hans-Jörg Peter (Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010, 2010)

Minimising Deterministic Büchi Automata Precisely Using SAT Solving - Rüdiger Ehlers (Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, 2010)

On the Virtue of Patience: Minimizing Büchi Automata - Rüdiger Ehlers; Bernd Finkbeiner (Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings, 2010)

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

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 International Conference on Evolutionary Computation, CEC 2006, part of WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, 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. (Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, 2006)