Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRüdiger Ehlers
Ruediger Ehlers
Person information
- affiliation: Technische Universität Clausthal, Germany
- affiliation (former): University of Bremen, Department of Mathematics & Computer Science, Germany
- affiliation (former): Saarland University, Reactive Systems Group, Saarbrücken, Germany
- affiliation (former): University of Dortmund, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2013
[b1]Rüdiger Ehlers:
Symmetric and efficient synthesis. Universität Saarbrücken, 2013, pp. 1-195
Journal Articles
- 2021
- [j8]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:
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64(9): 78-84 (2021) - 2020
- [j7]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:
Engineering Human-Machine Teams for Trusted Collaboration. Big Data Cogn. Comput. 4(4): 35 (2020) - 2018
- [j6]Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit:
Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Trans. Robotics 34(4): 936-952 (2018) - 2017
- [j5]Krishnendu Chatterjee, Rüdiger Ehlers:
Special issue: Synthesis and SYNT 2014. Acta Informatica 54(6): 543-544 (2017) - [j4]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27(2): 209-260 (2017) - [j3]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit:
Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. 27(2): 371-405 (2017) - [j2]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:
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19(3): 367-390 (2017) - 2012
- [j1]Rüdiger Ehlers:
Symbolic bounded synthesis. Formal Methods Syst. Des. 40(2): 232-262 (2012)
Conference and Workshop Papers
- 2024
- [c59]Rüdiger Ehlers, Ayrat Khalimov:
Fully Generalized Reactivity(1) Synthesis. TACAS (1) 2024: 83-102 - 2022
- [c58]Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek:
Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design 2022: 650-663 - [c57]Anvay Grover, Ruediger Ehlers, Loris D'Antoni:
Synthesizing Transducers from Complex Specifications. FMCAD 2022: 294-303 - [c56]Rüdiger Ehlers, Sven Schewe:
Natural Colors of Infinite Words. FSTTCS 2022: 36:1-36:17 - [c55]Merlin Korth, Sören Schleibaum, Jörg P. Müller, Rüdiger Ehlers:
On the Influence of Grid Cell Size on Taxi Demand Prediction. GOODTECHS 2022: 19-36 - 2021
- [c54]Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng:
Safe Multi-Agent Reinforcement Learning via Shielding. AAMAS 2021: 483-491 - [c53]Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu:
Adapting to the Behavior of Environments with Bounded Memory. GandALF 2021: 52-66 - 2020
- [c52]Rüdiger Ehlers, Ivan Gavran, Daniel Neider:
Learning Properties in LTL ∩ ACTL from Positive Examples Only. FMCAD 2020: 104-112 - [c51]Rüdiger Ehlers, Kai Treutler, Volker Wesling:
SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. SAT 2020: 492-500 - 2019
- [c50]Rüdiger Ehlers, Keerthi Adabala:
Reactive Synthesis of Graphical User Interface Glue Code. ATVA 2019: 387-403 - [c49]Rüdiger Ehlers:
How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? FM 2019: 245-261 - [c48]Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli:
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC 2019: 191-206 - [c47]Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler:
Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. SE/SWM 2019: 159-160 - 2018
- [c46]Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. AAAI 2018: 2669-2678 - [c45]Francisco Palau Romero, Rüdiger Ehlers:
Steady Abstractions for CPS Controller Synthesis. ACC 2018: 778-785 - [c44]Keerthi Adabala, Rüdiger Ehlers:
A Fragment of Linear Temporal Logic for Universal Very Weak Automata. ATVA 2018: 335-351 - [c43]Rüdiger Ehlers:
On Improving the Efficiency of Game Solving for Hybrid System Control. CDC 2018: 2426-2432 - [c42]Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus:
Embedded software for robotics: challenges and future directions: special session. EMSOFT 2018: 10 - [c41]Rüdiger Ehlers, Francisco Palau Romero:
Approximately Propagation Complete and Conflict Propagating Constraint Encodings. SAT 2018: 19-36 - 2017
- [c40]Heinz Riener, Rüdiger Ehlers, Görschwin Fey:
CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification. ASP-DAC 2017: 251-256 - [c39]Rüdiger Ehlers:
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. ATVA 2017: 269-286 - [c38]Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. FSTTCS 2017: 26:1-26:13 - [c37]Heinz Riener, Rüdiger Ehlers, Görschwin Fey:
Counterexample-Guided EF Synthesis of Boolean Functions. MBMV 2017: 67-74 - 2016
- [c36]Rüdiger Ehlers, Vasumathi Raman:
Slugs: Extensible GR(1) Synthesis. CAV (2) 2016: 333-339 - [c35]Rüdiger Ehlers, Salar Moarref, Ufuk Topcu:
Risk-averse control of Markov decision processes with ω-regular objectives. CDC 2016: 426-433 - 2015
- [c34]Roderick Bloem, Rüdiger Ehlers, Robert Könighofer:
Cooperative Reactive Synthesis. ATVA 2015: 394-410 - [c33]Rüdiger Ehlers, Ufuk Topcu:
Estimator-based reactive synthesis under incomplete information. HSCC 2015: 249-258 - [c32]Rüdiger Ehlers, Robert Könighofer, Roderick Bloem:
Synthesizing cooperative reactive mission plans. IROS 2015: 3478-3485 - [c31]Min Wen, Rüdiger Ehlers, Ufuk Topcu:
Correct-by-synthesis reinforcement learning with temporal logic constraints. IROS 2015: 4983-4990 - [c30]Heinz Riener, Rüdiger Ehlers, Görschwin Fey:
Path-Based Program Repair. FESCA 2015: 22-32 - 2014
- [c29]Rüdiger Ehlers, Martin Lange:
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. IJCAR 2014: 360-366 - [c28]Rüdiger Ehlers, Ufuk Topcu:
Resilience to intermittent assumption violations in reactive synthesis. HSCC 2014: 203-212 - [c27]Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit:
Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems 2014 - [c26]Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit:
Synthesis with Identifiers. VMCAI 2014: 415-433 - [c25]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - [c24]Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer:
How to Handle Assumptions in Synthesis. SYNT 2014: 34-50 - [c23]Rüdiger Ehlers, Vasumathi Raman:
Low-Effort Specification Debugging and Analysis. SYNT 2014: 117-133 - 2013
- [c22]Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit:
Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. IROS 2013: 4796-4802 - 2012
- [c21]Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin:
ALLQBF Solving by Computational Learning. ATVA 2012: 370-384 - [c20]Rüdiger Ehlers:
ACTL ∩ LTL Synthesis. CAV 2012: 39-54 - [c19]Rüdiger Ehlers, Robert Könighofer, Georg Hofferek:
Symbolically synthesizing small circuits. FMCAD 2012: 91-100 - [c18]Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace 2012 - [c17]Rüdiger Ehlers, Daniela Moldovan:
Sparse Positional Strategies for Safety Games. SYNT 2012: 1-16 - 2011
- [c16]Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller:
Synthia: Verification and Synthesis for Timed Automata. CAV 2011: 649-655 - [c15]Rüdiger Ehlers:
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. NASA Formal Methods 2011: 101-115 - [c14]Rüdiger Ehlers, Bernd Finkbeiner:
Monitoring Realizability. RV 2011: 427-441 - [c13]Rüdiger Ehlers:
Unbeast: Symbolic Bounded Synthesis. TACAS 2011: 272-275 - [c12]Rüdiger Ehlers:
Experimental Aspects of Synthesis. iWIGP 2011: 1-16 - [c11]Rüdiger Ehlers, Bernd Finkbeiner:
Reactive Safety. GandALF 2011: 178-191 - 2010
- [c10]Rüdiger Ehlers:
Symbolic Bounded Synthesis. CAV 2010: 365-379 - [c9]Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147 - [c8]Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter:
Combining Symbolic Representations for Solving Timed Games. FORMATS 2010: 107-121 - [c7]Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter:
Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM 2010: 565-580 - [c6]Rüdiger Ehlers:
Short Witnesses and Accepting Lassos in omega-Automata. LATA 2010: 261-272 - [c5]Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter:
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS 2010: 360-371 - [c4]Rüdiger Ehlers:
Minimising Deterministic Büchi Automata Precisely Using SAT Solving. SAT 2010: 326-332 - [c3]Rüdiger Ehlers, Bernd Finkbeiner:
On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010: 129-145 - 2006
- [c2]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:
The Impact of Group Reputation in Multiagent Environments. IEEE Congress on Evolutionary Computation 2006: 1224-1231 - [c1]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:
High-order punishment and the evolution of cooperation. GECCO 2006: 379-380
Parts in Books or Collections
- 2013
- [p1]Rüdiger Ehlers:
Symmetrische und effiziente Synthese. Ausgezeichnete Informatikdissertationen 2013: 11-20
Editorship
- 2014
- [e1]Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha:
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014 [contents]
Informal and Other Publications
- 2024
- [i20]Rüdiger Ehlers, Ayrat Khalimov:
Fully Generalized Reactivity(1) Synthesis. CoRR abs/2402.02979 (2024) - 2022
- [i19]Rüdiger Ehlers, Sven Schewe:
Natural Colors of Infinite Words. CoRR abs/2207.11000 (2022) - [i18]Anvay Grover, Rüdiger Ehlers, Loris D'Antoni:
Synthesizing Transducers from Complex Specifications. CoRR abs/2208.05131 (2022) - [i17]Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek:
Correct-by-Construction Runtime Enforcement in AI - A Survey. CoRR abs/2208.14426 (2022) - 2021
- [i16]Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng:
Safe Multi-Agent Reinforcement Learning via Shielding. CoRR abs/2101.11196 (2021) - 2020
- [i15]Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu:
Playing Against Opponents With Limited Memory. CoRR abs/2002.07274 (2020) - [i14]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:
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR abs/2006.16732 (2020) - 2018
- [i13]Tom van Dijk, Rüdiger Ehlers, Armin Biere:
Revisiting Decision Diagrams for SAT. CoRR abs/1805.03496 (2018) - [i12]Heinz Riener, Rüdiger Ehlers, Bruno Schmitt, Giovanni De Micheli:
Exact Synthesis of ESOP Forms. CoRR abs/1807.11103 (2018) - 2017
- [i11]Rüdiger Ehlers:
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. CoRR abs/1705.01320 (2017) - [i10]Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. CoRR abs/1708.08611 (2017) - [i9]Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. CoRR abs/1710.05633 (2017) - 2016
- [i8]Rüdiger Ehlers, Salar Moarref, Ufuk Topcu:
Risk-Averse ω-regular Markov Decision Process Control. CoRR abs/1603.06716 (2016) - 2015
- [i7]Min Wen, Rüdiger Ehlers, Ufuk Topcu:
Correct-by-synthesis reinforcement learning with temporal logic constraints. CoRR abs/1503.01793 (2015) - [i6]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:
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR abs/1506.08726 (2015) - [i5]Roderick Bloem, Rüdiger Ehlers, Robert Könighofer:
Cooperative Reactive Synthesis. CoRR abs/1507.02531 (2015) - [i4]Rüdiger Ehlers:
Computing the Complete Pareto Front. CoRR abs/1512.05207 (2015) - 2014
- [i3]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit:
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR abs/1410.6375 (2014) - 2011
- [i2]Rüdiger Ehlers:
Small witnesses, accepting lassos and winning strategies in omega-automata and games. CoRR abs/1108.0315 (2011) - 2010
- [i1]Rüdiger Ehlers:
Generalised Rabin(1) synthesis. CoRR abs/1003.1684 (2010)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
