[C151] Della Monica D., Montanari A, and Sala P., "Extended omega-Regular Languages and Interval Temporal Logic". Proceedings of the 22nd Italian Conference on Theoretical Computer Science (ICTCS), Claudio Sacerdoti Coen and Ivano Salvo (Eds.), CEUR Workshop Proceedings, CEUR-WS.org, Bologna, Italy, September 2021, pp. 70-86.
[C150] Saccomanno N., Brunello A., and Montanari A., "Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks ". Proceedings of the 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), December, 2020.
[C149] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Reactive Synthesis from Extended Bounded Response LTL Specifications", Proceedings of the 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD), IEEE, Haifa, Israel, September 2020.
[C148] Della Monica D., Gigante N., La Torre S., and Montanari A., "Complexity of qualitative timeline-based planning", Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Bolzano, Italy, September 2020.
[C147] Bozzelli L., A. Molinari A., Montanari A, and Peron A., "Undecidability of future timeline-based planning over dense temporal domains". Proceedings of the 21st Italian Conference on Theoretical Computer Science (ICTCS), Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno (Eds.), CEUR Workshop Proceedings 2756, CEUR-WS.org, Ischia, Italy, September 2020, pp. 155-166.
[C146] Bozzelli L., Montanari A., Peron A., and Sala P., "On a temporal logic of prefixes and infixes", Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science (MFCS) , LIPIcs, Prague, Czech Republic, August 2020.
[C145] Gallo P., Gubiani D., Montanari A., and Saccomanno N., "A new similarity measure for low-sampling cellular fingerprint trajectories". Proceedings of the 21st IEEE International Conference on Mobile Data Management (MDM), Versailles, France, June - July, 2020.
[C144] Gigante N., Micheli A., Montanari A., and Scala E., "Decidability and Complexity of Action-Based Temporal Planning over Dense Time", Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, New York, USA, February 2020.
[J66] Bozzelli L., Molinari A., Montanari A., Peron A., "Model Checking Interval Temporal Logics with Regular Expressions", Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'17), Volume 272, June 2020, pp. 1--34 (doi: 10.1016/j.ic.2019.104498),
[J65] Gigante N., Montanari A., Orlandini A., Cialdea Mayer M., and Reynolds A., "On timeline-based games and their complexity", Theoretical Computer Science, Special Issue: Temporal Representation and Reasoning (TIME'18), Volume 815, 2 May 2020, pp. 247-269 (doi: 10.1016/j.tcs.2020.02.011).
[J64] Bozzelli L., Molinari A., Montanari A., Peron, A., and Woeginger G., "Timeline-based planning over dense temporal domains", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'18), Volume 813, 12 April 2020, pp. 305-326 (doi:10.1016/j.tcs.2019.12.030).
[J63] Barozzini D., de Frutos-Escrig D., Della Monica D., Montanari A., and Sala P., "Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'17), Volume 813, 12 April 2020, pp. 270-304 (doi:10.1016/j.tcs.2019.12.029).
[W38] Cimatti A., Geatti L., Gigante N., Montanari M., and Tonetta S., "Reactive Synthesis from Extended Bounded Response LTL Specifications". Proceedings of the Workshop on Automated Synthesis affiliated with ESSLLI 2021, July 29-30, 2021.
[W37] Brunello A., Montanari A., Pittino F., and Urgolo A., "Virtual Sensing of Temperatures in Indoor Environments: A Case Study". Proceedings of the 15th International Workshop on Spatial and Spatiotemporal Data Mining (SSTDM), in cooperation with IEEE ICDM 2020, Ranga Raju Vatsavai, (Ed.), IEEE Computer Society Press, November 17, 2020.
[W36] Della Monica D., Montanari A., Sciavicco G., and Stan I. E. , "A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking", Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with BOSK 2020 - The Bolzano Summer of Knowledge, OVERLAY @ BOSK 2020, R. De Benedictis, L. Geretti, and A. Micheli (Eds.), CEUR Workshop Proceedings, Volume 2785, CEUR-WS.org, Bolzano, Italy, September 25, 2020, pp. 11--15.
[W35] Brunello A., Della Monica D., Montanari A., and Urgolo A., "Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification", Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with BOSK 2020 - The Bolzano Summer of Knowledge, OVERLAY @ BOSK 2020, R. De Benedictis, L. Geretti, and A. Micheli (Eds.), CEUR Workshop Proceedings, Volume 2785, CEUR-WS.org, Bolzano, Italy, September 25, 2020, pp. 87--92.
[W34] Brunello A., Della Monica D., Montanari A., and Urgolo A., "Learning to Monitor: a Novel Framework for Online System Verification", Proceedings of the Workshop on Reasoning about ACtions and Events over Streams, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, RACES @ KR 2020, D. Calvanese, E. Erdem, and M. Thielscher (Eds.), Rhodes, Greece. September 12, 2020.