Brunello, A. (2026) “Automata-less Monitoring via Trace-Checking”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), pp. 18969–18976. doi: 10.1609/aaai.v40i23.38968.