Near-Optimal Reactive Synthesis Incorporating Runtime Information.

Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu

Browse the full ICRA paper archive.