Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi. Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019. pages 8993-8999, IEEE, 2019. [doi]
Abstract is missing.