A. Brunello, L. Geatti, A. Montanari, and N. Saccomanno, “Automata-less Monitoring via Trace-Checking”, AAAI, vol. 40, no. 23, pp. 18969–18976, Mar. 2026.