[IEEE 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Vancouver, BC (2017.9.24-2017.9.28)] 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Reactive synthesis for finite tasks under resource constraints
He, Keliang; Lahijanian, Morteza; Kavraki, Lydia E.; Vardi, Moshe Y.
作者He, Keliang; Lahijanian, Morteza; Kavraki, Lydia E.; Vardi, Moshe Y.