An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation by Salomon Sickert May 08
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic by Joshua Schneider and Dmitriy Traytel Jul 04