Informative path planning under temporal logic constraints with performance guarantees | IEEE Conference Publication | IEEE Xplore