Near-Optimal Reactive Synthesis Incorporating Runtime Information

Open in new window