Brunello, A.; Geatti, L.; Montanari, A.; Saccomanno, N. Automata-Less Monitoring via Trace-Checking. AAAI 2026, 40, 18969-18976.