1 citations · 1 across the 1 of their papers we have counts for
1 paper
Anne-Kathrin Schmuck, Rupak Majumdar
In the formal approach to reactive controller synthesis, a symbolic controller for a possibly hybrid system is obtained by algorithmically computing a winning strategy in a two-pla…