Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control | IEEE Conference Publication | IEEE Xplore