Rüdiger Ehlers

According to our database1, Rüdiger Ehlers
  • authored at least 56 papers between 2006 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 2017

Supervisory control and reactive synthesis: a comparative introduction.
Discrete Event Dynamic Systems, 2017

Automated generation of dynamics-based runtime certificates for high-level control.
Discrete Event Dynamic Systems, 2017

Symmetric Synthesis.
CoRR, 2017

Safe Reinforcement Learning via Shielding.
CoRR, 2017

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.
CoRR, 2017

Special issue: Synthesis and SYNT 2014.
Acta Inf., 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
Correct-by-synthesis reinforcement learning with temporal logic constraints.
CoRR, 2015

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

The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR, 2015

Computing the Complete Pareto Front.
CoRR, 2015

Cooperative Reactive Synthesis.
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 in System Design, 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 omega-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

Symbolic Bounded Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 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...