23 citations · 45 across the 6 of their papers we have counts for
1 paper · 1 filter
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…