[C168] Acampora R., Della Monica D., Geatti L., Gigante N., Montanari A., and Sala P., "Synthesis of Timeline-Based Planning Strategies Avoiding Determinization", Proceedings of the 15th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Reykjavik, Iceland, June 2024.
[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.
[J92] Acampora R., Gigante N., Geatti L., Montanari A., and Picozzi V., "Controller Synthesis for Timeline-based Games", Logical Methods in Computer Science, accepted for publication on June 27, 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, Volume 23, Issue 2, April 2024, pp. 427–453 (doi: doi.org/10.1007/s10270-023-01122-4).
[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).