Rüdiger Ehlers

Available identifiers

zbMath Open ehlers.rudigerMaRDI QIDQ453534

List of research outcomes

Publication	Date of Publication	Type
Adapting to the behavior of environments with bounded memory	2024-12-06	Paper
Natural colors of Infinite words	2024-09-12	Paper
How hard is finding shortest counter-example lassos in model checking?	2024-03-14	Paper
Exact Synthesis of ESOP Forms	2024-01-23	Paper
A fragment of linear temporal logic for universal very weak automata	2023-07-28	Paper
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks	2022-08-12	Paper
SAT solving with fragmented Hamiltonian path constraints for wire arc additive manufacturing	2021-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4964727	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5136318	2020-11-25	Paper
Evaluating ESOP Optimization Methods in Quantum Compilation Flows	2019-10-17	Paper
Approximately propagation complete and conflict propagating constraint encodings	2018-08-10	Paper
Supervisory control and reactive synthesis: a comparative introduction	2018-01-31	Paper
Automated generation of dynamics-based runtime certificates for high-level control	2018-01-31	Paper
Estimator-based reactive synthesis under incomplete information	2017-05-19	Paper
Resilience to intermittent assumption violations in reactive synthesis	2017-05-16	Paper
Cooperative Reactive Synthesis	2016-01-08	Paper
Synthesis with Identifiers	2015-01-13	Paper
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic	2014-09-26	Paper
ALLQBF Solving by Computational Learning	2012-11-21	Paper
Symbolic bounded synthesis	2012-09-27	Paper
Unbeast: Symbolic Bounded Synthesis	2011-05-19	Paper
Minimising Deterministic Büchi Automata Precisely Using SAT Solving	2010-09-29	Paper
Combining Symbolic Representations for Solving Timed Games	2010-09-10	Paper
Short Witnesses and Accepting Lassos in ω-Automata	2010-05-26	Paper

Research outcomes over time

This page was built for person: Rüdiger Ehlers