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
Reactive safety	2021-03-03	Paper
Symmetric synthesis	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