4 citations · 18 across the 15 of their papers we have counts for
1 paper · 1 filter
Sarah Winkler
Reactive synthesis addresses the problem of generating a controller for a temporal specification in an adversarial environment; it was typically studied for LTL. Driven by applicat…