Rüdiger Ehlers

Affiliations:
  • Technische Universität Clausthal, Germany
  • University of Bremen, Department of Mathematics & Computer Science, Germany (former)
  • Saarland University, Reactive Systems Group, Saarbrücken, Germany (former)
  • University of Dortmund, Department of Computer Science, Germany (former)


According to our database1, Rüdiger Ehlers authored at least 76 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fully Generalized Reactivity(1) Synthesis.
CoRR, 2024

2022
On the Influence of Grid Cell Size on Taxi Demand Prediction.
Proceedings of the Smart Objects and Technologies for Social Goods, 2022

Natural Colors of Infinite Words.
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Synthesizing Transducers from Complex Specifications.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Correct-by-Construction Runtime Enforcement in AI - A Survey.
Proceedings of the Principles of Systems Design, 2022

2021
Adapting to the Behavior of Environments with Bounded Memory.
Proceedings of the Proceedings 12th International Symposium on Games, 2021

Formalizing and guaranteeing human-robot interaction.
Commun. ACM, 2021

Safe Multi-Agent Reinforcement Learning via Shielding.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Playing Against Opponents With Limited Memory.
CoRR, 2020

Engineering Human-Machine Teams for Trusted Collaboration.
Big Data Cogn. Comput., 2020

SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Learning Properties in LTL ∩ ACTL from Positive Examples Only.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019
Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification.
Proceedings of the Software Engineering and Software Management, 2019

Evaluating ESOP Optimization Methods in Quantum Compilation Flows.
Proceedings of the Reversible Computation - 11th International Conference, 2019

How Hard Is Finding Shortest Counter-Example Lassos in Model Checking?
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Reactive Synthesis of Graphical User Interface Glue Code.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Resilient, Provably-Correct, and High-Level Robot Behaviors.
IEEE Trans. Robotics, 2018

Exact Synthesis of ESOP Forms.
CoRR, 2018

Revisiting Decision Diagrams for SAT.
CoRR, 2018

Approximately Propagation Complete and Conflict Propagating Constraint Encodings.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Embedded software for robotics: challenges and future directions: special session.
Proceedings of the International Conference on Embedded Software, 2018

On Improving the Efficiency of Game Solving for Hybrid System Control.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

A Fragment of Linear Temporal Logic for Universal Very Weak Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Steady Abstractions for CPS Controller Synthesis.
Proceedings of the 2018 Annual American Control Conference, 2018

Safe Reinforcement Learning via Shielding.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
The first reactive synthesis competition (SYNTCOMP 2014).
Int. J. Softw. Tools Technol. Transf., 2017

Supervisory control and reactive synthesis: a comparative introduction.
Discret. Event Dyn. Syst., 2017

Automated generation of dynamics-based runtime certificates for high-level control.
Discret. Event Dyn. Syst., 2017

Special issue: Synthesis and SYNT 2014.
Acta Informatica, 2017

Counterexample-Guided EF Synthesis of Boolean Functions.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Symmetric Synthesis.
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2017

CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016
Risk-Averse ω-regular Markov Decision Process Control.
CoRR, 2016

Risk-averse control of Markov decision processes with ω-regular objectives.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Slugs: Extensible GR(1) Synthesis.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Path-Based Program Repair.
Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

Computing the Complete Pareto Front.
CoRR, 2015

Correct-by-synthesis reinforcement learning with temporal logic constraints.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Synthesizing cooperative reactive mission plans.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Estimator-based reactive synthesis under incomplete information.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Cooperative Reactive Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Low-Effort Specification Debugging and Analysis.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR, 2014

How to Handle Assumptions in Synthesis.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Synthesis with Identifiers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Correct High-level Robot Behavior in Environments with Unexpected Events.
Proceedings of the Robotics: Science and Systems X, 2014

Resilience to intermittent assumption violations in reactive synthesis.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013
Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Symmetrische und effiziente Synthese.
Proceedings of the Ausgezeichnete Informatikdissertationen 2013, 2013

Symmetric and efficient synthesis.
PhD thesis, 2013

2012
Symbolic bounded synthesis.
Formal Methods Syst. Des., 2012

Sparse Positional Strategies for Safety Games
Proceedings of the Proceedings First Workshop on Synthesis, 2012

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
Proceedings of the Infotech@Aerospace 2012, 2012

Symbolically synthesizing small circuits.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

ACTL ∩ LTL Synthesis.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

ALLQBF Solving by Computational Learning.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Small witnesses, accepting lassos and winning strategies in omega-automata and games
CoRR, 2011

Reactive Safety
Proceedings of Second International Symposium on Games, 2011

Experimental Aspects of Synthesis
Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

Unbeast: Symbolic Bounded Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Monitoring Realizability.
Proceedings of the Runtime Verification - Second International Conference, 2011

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.
Proceedings of the NASA Formal Methods, 2011

Synthia: Verification and Synthesis for Timed Automata.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Generalised Rabin(1) synthesis
CoRR, 2010

On the Virtue of Patience: Minimizing Büchi Automata.
Proceedings of the Model Checking Software, 2010

Minimising Deterministic Büchi Automata Precisely Using SAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Short Witnesses and Accepting Lassos in <i>omega</i>-Automata.
Proceedings of the Language and Automata Theory and Applications, 2010

Making the Right Cut in Model Checking Data-Intensive Timed Systems.
Proceedings of the Formal Methods and Software Engineering, 2010

Combining Symbolic Representations for Solving Timed Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Model Checking the FlexRay Physical Layer Protocol.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2006
High-order punishment and the evolution of cooperation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006

The Impact of Group Reputation in Multiagent Environments.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006


  Loading...