Near-Optimal Reactive Synthesis Incorporating Runtime Information
Suda Bharadwaj,Abraham P. Vinod,Rayna Dimitrova,Ufuk Topcu,Suda Bharadwaj,Abraham P. Vinod,Rayna Dimitrova,Ufuk Topcu
We consider the problem of optimal reactive synthesis - compute a strategy that satisfies a mission specification in a dynamic environment, and optimizes a given performance metric. We incorporate task-critical information, that is only available at runtime, into the strategy synthesis in order to improve performance. Existing approaches to utilising such time-varying information require online re...
