Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks.

Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi

Browse the full ICRA paper archive.