2 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova +1
We consider the problem of optimal reactive synthesis - compute a strategy that satisfies a mission specification in a dynamic environment, and optimizes a performance metric. We i…