15 citations · 25 across the 6 of their papers we have counts for
1 paper · 1 filter
Jessica Newman, Benjamin Plummer
We study positional properties in the context of game-based reactive synthesis. Our motivation stems from having a usable specification logic, for which tractable synthesis is guar…