48 citations · 172 across the 22 of their papers we have counts for
4 papers · 1 filter
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Jonathan A. DeCastro, Ruediger Ehlers, Matthias Rungger +3
The aim of this work is to address issues where formal specifications cannot be realized on a given dynamical system subjected to a changing environment. Such failures occur whenev…
Low-Effort Specification Debugging and Analysis
Rüdiger Ehlers, Vasumathi Raman
Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engine…
How to Handle Assumptions in Synthesis
Roderick Bloem, Rüdiger Ehlers, Swen Jacobs +1
The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how t…
Proceedings 3rd Workshop on Synthesis
Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha
The idea of synthesis, i.e., the process of automatically computing implementations from their specifications, has recently gained a lot of momentum in the contexts of software eng…