30 citations · 34 across the 6 of their papers we have counts for
1 paper · 2 filters
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…