Explainable Online Monitoring of Metric First-Order Temporal Logic.

Leonardo Lima, Jonathan Julin Huerta y Munive, Dmitriy Traytel

Browse the full TACAS paper archive.