Brunello, A., Geatti, L., Montanari, A., & Saccomanno, N. (2026). Automata-less Monitoring via Trace-Checking. Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), 18969–18976. https://doi.org/10.1609/aaai.v40i23.38968