Reactive synthesis for finite tasks under resource constraints.

Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Browse the full IROS paper archive.