Explainable Online Monitoring of Metric Temporal Logic. - Leonardo Lima 001; Andrei Herasimau; Martin Raszyk; Dmitriy Traytel; Simon Yuan (TACAS (2), 2023)

A Verified Proof Checker for Metric First-Order Temporal Logic. - Andrei Herasimau; Jonathan Julián Huerta y Munive; Leonardo Lima 001; Martin Raszyk; Dmitriy Traytel (Arch. Formal Proofs, 2024)