Planning under abstraction within a supervisory control context | IEEE Conference Publication | IEEE Xplore