8 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Karan Muvvala, Qi Heng Ho, Morteza Lahijanian
Classical reactive synthesis approaches aim to synthesize a reactive system that always satisfies a given specifications. These approaches often reduce to playing a two-player zero…