Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks | IEEE Conference Publication | IEEE Xplore