Control Barrier Navigation Functions for STL Motion Planning | IEEE Conference Publication | IEEE Xplore