LTL

Linear Temporal Logic