1 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
Bernd Finkbeiner, Noemi Passing
Despite many recent advances, reactive synthesis is still not really a practical technique. The grand challenge is to scale from small transition systems, where synthesis performs…