48 citations · 61 across the 2 of their papers we have counts for
2 papers
cs.SE2014★ 13 cited
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…
cs.LO2014★ 48 cited
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…