Rüdiger Ehlers

97 papers A* 4A 11B 11C 6Misc 1Journal 32Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	How Concise are Chains of co-Büchi Automata? CoRR Rüdiger Ehlers
2025	J	`jnl`	Characterizing the Polynomial-Time Minimizable ω-Automata. CoRR Bader Abu Radi, Rüdiger Ehlers
2025	—	`conf`	How Concise are Chains of co-Büchi Automata? GandALF Rüdiger Ehlers
2025	J	`jnl`	Rerailing Automata. CoRR Rüdiger Ehlers
2025	—	`conf`	Supporting a SOTIF Safety Argument by Activation Pattern Monitoring with Statistical Guarantees. AISoLA Rüdiger Ehlers, Loïch Kamdoum Deameni, Nikita Maslov
2024	J	`jnl`	A Naturally-Colored Translation from LTL to Parity and COCOA. CoRR Rüdiger Ehlers, Ayrat Khalimov
2024	C	`conf`	Efficient Temporal Logic Runtime Monitoring for Tiny Systems. TAP Rüdiger Ehlers
2024	—	`conf`	Fully Generalized Reactivity(1) Synthesis. TACAS (1) Rüdiger Ehlers, Ayrat Khalimov
2024	J	`jnl`	Fully Generalized Reactivity(1) Synthesis. CoRR Rüdiger Ehlers, Ayrat Khalimov
2024	—	`conf`	Understanding Synthesized Reactive Systems Through Invariants. FM (1) Rüdiger Ehlers
2022	—	`conf`	Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
2022	J	`jnl`	Correct-by-Construction Runtime Enforcement in AI - A Survey. CoRR Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
2022	—	`conf`	Natural Colors of Infinite Words. FSTTCS Rüdiger Ehlers, Sven Schewe
2022	J	`jnl`	Natural Colors of Infinite Words. CoRR Rüdiger Ehlers, Sven Schewe
2022	—	`conf`	On the Influence of Grid Cell Size on Taxi Demand Prediction. GOODTECHS Merlin Korth, Sören Schleibaum, Jörg P. Müller, Rüdiger Ehlers
2022	J	`jnl`	Synthesizing Transducers from Complex Specifications. CoRR Anvay Grover, Rüdiger Ehlers, Loris D'Antoni
2021	—	`conf`	Adapting to the Behavior of Environments with Bounded Memory. GandALF Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
2021	J	`jnl`	Formalizing and guaranteeing human-robot interaction. Commun. ACM 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
2021	A	`conf`	Safe Multi-Agent Reinforcement Learning via Shielding. AAMAS Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021	J	`jnl`	Safe Multi-Agent Reinforcement Learning via Shielding. CoRR Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2020	J	`jnl`	Engineering Human-Machine Teams for Trusted Collaboration. Big Data Cogn. Comput. 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
2020	J	`jnl`	Formalizing and Guaranteeing* Human-Robot Interaction. CoRR 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
2020	B	`conf`	Learning Properties in LTL ∩ ACTL from Positive Examples Only. FMCAD Rüdiger Ehlers, Ivan Gavran, Daniel Neider
2020	J	`jnl`	Playing Against Opponents With Limited Memory. CoRR Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
2020	A	`conf`	SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. SAT Rüdiger Ehlers, Kai Treutler, Volker Wesling
2019	C	`conf`	Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
2019	B	`conf`	How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? FM Rüdiger Ehlers
2019	—	`conf`	Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. SE/SWM Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler
2019	B	`conf`	Reactive Synthesis of Graphical User Interface Glue Code. ATVA Rüdiger Ehlers, Keerthi Adabala
2018	B	`conf`	A Fragment of Linear Temporal Logic for Universal Very Weak Automata. ATVA Keerthi Adabala, Rüdiger Ehlers
2018	A	`conf`	Approximately Propagation Complete and Conflict Propagating Constraint Encodings. SAT Rüdiger Ehlers, Francisco Palau Romero
2018	Misc	`conf`	Embedded software for robotics: challenges and future directions: special session. EMSOFT Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
2018	J	`jnl`	Exact Synthesis of ESOP Forms. CoRR Heinz Riener, Rüdiger Ehlers, Bruno Schmitt, Giovanni De Micheli
2018	—	`conf`	On Improving the Efficiency of Game Solving for Hybrid System Control. CDC Rüdiger Ehlers
2018	J	`jnl`	Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Trans. Robotics Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
2018	J	`jnl`	Revisiting Decision Diagrams for SAT. CoRR Tom van Dijk, Rüdiger Ehlers, Armin Biere
2018	A*	`conf`	Safe Reinforcement Learning via Shielding. AAAI Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2018	C	`conf`	Steady Abstractions for CPS Controller Synthesis. ACC Francisco Palau Romero, Rüdiger Ehlers
2017	J	`jnl`	Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
2017	—	`conf`	CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification. ASP-DAC Heinz Riener, Rüdiger Ehlers, Görschwin Fey
2017	—	`conf`	Counterexample-Guided EF Synthesis of Boolean Functions. MBMV Heinz Riener, Rüdiger Ehlers, Görschwin Fey
2017	B	`conf`	Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. ATVA Rüdiger Ehlers
2017	J	`jnl`	Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. CoRR Rüdiger Ehlers
2017	J	`jnl`	Safe Reinforcement Learning via Shielding. CoRR Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2017	J	`jnl`	Special issue: Synthesis and SYNT 2014. Acta Informatica Krishnendu Chatterjee, Rüdiger Ehlers
2017	J	`jnl`	Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
2017	—	`conf`	Symmetric Synthesis. FSTTCS Rüdiger Ehlers, Bernd Finkbeiner
2017	J	`jnl`	Symmetric Synthesis. CoRR Rüdiger Ehlers, Bernd Finkbeiner
2017	J	`jnl`	The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 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
2016	J	`jnl`	Risk-Averse ω-regular Markov Decision Process Control. CoRR Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
2016	—	`conf`	Risk-averse control of Markov decision processes with ω-regular objectives. CDC Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
2016	—	`conf`	Slugs: Extensible GR(1) Synthesis. CAV (2) Rüdiger Ehlers, Vasumathi Raman
2015	J	`jnl`	Computing the Complete Pareto Front. CoRR Rüdiger Ehlers
2015	B	`conf`	Cooperative Reactive Synthesis. ATVA Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
2015	J	`jnl`	Cooperative Reactive Synthesis. CoRR Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
2015	A	`conf`	Correct-by-synthesis reinforcement learning with temporal logic constraints. IROS Min Wen, Rüdiger Ehlers, Ufuk Topcu
2015	J	`jnl`	Correct-by-synthesis reinforcement learning with temporal logic constraints. CoRR Min Wen, Rüdiger Ehlers, Ufuk Topcu
2015	—	`conf`	Estimator-based reactive synthesis under incomplete information. HSCC Rüdiger Ehlers, Ufuk Topcu
2015	—	`conf`	Path-Based Program Repair. FESCA Heinz Riener, Rüdiger Ehlers, Görschwin Fey
2015	A	`conf`	Synthesizing cooperative reactive mission plans. IROS Rüdiger Ehlers, Robert Könighofer, Roderick Bloem
2015	J	`jnl`	The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR 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
2014	A	`conf`	A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. IJCAR Rüdiger Ehlers, Martin Lange
2014	—	`conf`	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
2014	—	`conf`	Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
2014	J	`jnl`	Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
2014	—	`conf`	How to Handle Assumptions in Synthesis. SYNT Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
2014	—	`conf`	Low-Effort Specification Debugging and Analysis. SYNT Rüdiger Ehlers, Vasumathi Raman
2014	—	`ed.`	Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. SYNT Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha
2014	—	`conf`	Resilience to intermittent assumption violations in reactive synthesis. HSCC Rüdiger Ehlers, Ufuk Topcu
2014	B	`conf`	Synthesis with Identifiers. VMCAI Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit
2013	A	`conf`	Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. IROS Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit
2013	—	`—`	Symmetric and efficient synthesis. Rüdiger Ehlers
2013	—	`ch.`	Symmetrische und effiziente Synthese. Ausgezeichnete Informatikdissertationen Rüdiger Ehlers
2012	A*	`conf`	ACTL ∩ LTL Synthesis. CAV Rüdiger Ehlers
2012	B	`conf`	ALLQBF Solving by Computational Learning. ATVA Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
2012	—	`conf`	FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
2012	—	`conf`	Sparse Positional Strategies for Safety Games SYNT Rüdiger Ehlers, Daniela Moldovan
2012	J	`jnl`	Symbolic bounded synthesis. Formal Methods Syst. Des. Rüdiger Ehlers
2012	B	`conf`	Symbolically synthesizing small circuits. FMCAD Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
2011	—	`conf`	Experimental Aspects of Synthesis iWIGP Rüdiger Ehlers
2011	—	`conf`	Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. NASA Formal Methods Rüdiger Ehlers
2011	B	`conf`	Monitoring Realizability. RV Rüdiger Ehlers, Bernd Finkbeiner
2011	—	`conf`	Reactive Safety GandALF Rüdiger Ehlers, Bernd Finkbeiner
2011	J	`jnl`	Small witnesses, accepting lassos and winning strategies in omega-automata and games CoRR Rüdiger Ehlers
2011	A*	`conf`	Synthia: Verification and Synthesis for Timed Automata. CAV Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller
2011	A	`conf`	Unbeast: Symbolic Bounded Synthesis. TACAS Rüdiger Ehlers
2010	—	`conf`	Combining Symbolic Representations for Solving Timed Games. FORMATS Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter
2010	A	`conf`	Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter
2010	J	`jnl`	Generalised Rabin(1) synthesis CoRR Rüdiger Ehlers
2010	C	`conf`	Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter
2010	A	`conf`	Minimising Deterministic Büchi Automata Precisely Using SAT Solving. SAT Rüdiger Ehlers
2010	C	`conf`	Model Checking the FlexRay Physical Layer Protocol. FMICS Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
2010	—	`conf`	On the Virtue of Patience: Minimizing Büchi Automata. SPIN Rüdiger Ehlers, Bernd Finkbeiner
2010	C	`conf`	Short Witnesses and Accepting Lassos in LATA Rüdiger Ehlers
2010	A*	`conf`	Symbolic Bounded Synthesis. CAV Rüdiger Ehlers
2006	A	`conf`	High-order punishment and the evolution of cooperation. GECCO 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
2006	B	`conf`	The Impact of Group Reputation in Multiagent Environments. IEEE Congress on Evolutionary Computation 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