TY  - RPRT
TI  - Near-Optimal Reactive Synthesis Incorporating Runtime Information
AU  - Suda Bharadwaj
AU  - Abraham P. Vinod
AU  - Rayna Dimitrova
AU  - Ufuk Topcu
PY  - 2020
UR  - https://arxiv.org/abs/2007.16107
ID  - 2007.16107
ER  -