[C172] Brunello A., Geatti L., , Mignani M., Montanari A., and Saccomanno N., "Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy", Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, New York, USA, January 2026.
[C171] Brunello A., Geatti L., , Montanari A., and Saccomanno N., "Automata-less Monitoring via Trace-Checking,", Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, New York, USA, January 2026.
[J96] Artale A., Geatti G., Gigante N., Mansutti A., Mazzullo A., and Montanari A., "An optimal pastification algorithm for LTL[X,F] and LTL[X,G]", Artificial Intelligence, volume 357: 104553, 2026 (doi: 10.1016/J.ARTINT.2026.104553).