Text this: Barrier Certificates for Uncertain Temporal Specifications