Near-Optimal Reactive Synthesis Incorporating Runtime Information

Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
January 2020
Type
Conference paper
Publication
Proceedings of the IEEE International Conference on Robotics and Automation (ICRA)