Lazy Evaluation of Goal Specifications Guided by Motion Planning | IEEE Conference Publication | IEEE Xplore