[C166] Geatti L., Mansutti A., and Montanari A., "Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems". Proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), N. Kobayashi and J. Worrell (Eds.), Luxembourg City, Luxembourg, April 2024.
[J91] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis", Software and Systems Modeling, accepted for publication on July 25, 2023.
[J90] Bozzelli L., Montanari A., Peron A., and Sala P. "The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete", Logical Methods in Computer Science, Volume 20, Issue 1, March 22, 2024, pp. 23:1–23:57 (doi: doi.org/10.46298/lmcs-20(1:23)2024).
[J89] Geatti L., Gigante N., Montanari A., and Venturato G., "SAT meets Tableaux for Linear Temporal Logic Satisfiability", Journal of Automated Reasoning, Volume 68, 6, March 15, 2024 (doi: doi.org/10.1007/s10817-023-09691-1).