Brunello, Andrea, Luca Geatti, Angelo Montanari, and Nicola Saccomanno. 2026. “Automata-Less Monitoring via Trace-Checking”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (23):18969-76. https://doi.org/10.1609/aaai.v40i23.38968.