Recent publications
Book
Giacobbe, M, Henzinger, TA & Lechner, M 2020, .
Article
Gao, Y, Abate, A, Jiang, FJ, Giacobbe, M, Xie, L & Johansson, KH 2022, '', IEEE Transactions on Automatic Control, vol. 67, no. 10, pp. 5071-5086.
Abate, A, Ahmed, D, Giacobbe, M & Peruffo, A 2021, '', IEEE Control Systems Letters, vol. 5, no. 3, pp. 773-778.
Chapter
Frehse, G, Giacobbe, M & Zaffanella, E 2022, . in J-F Raskin, K Chatterjee, L Doyen & R Majumdar (eds), Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. 1 edn, Lecture Notes in Computer Science, vol. 13660, Springer, Cham, pp. 39鈥�60.
Conference contribution
Giacobbe, M, Kroening, D, Pal, A & Tautschnig, M 2024, . in Advances in Neural Information Processing Systems 38 (NeurIPS 2024). Advances in neural information processing systems, NeurIPS, Thirty-Eighth Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, 10/12/24.
Edwards, A, Giacobbe, M & Abate, A 2023, . in N Jansen & M Tribastone (eds), Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20鈥�22, 2023, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 14287, Springer, pp. 152鈥�171, 20th International Conference on Quantitative Evaluation of SysTems (QEST), Antwerp, Belgium, 20/09/23.
Abate, A, Edwards, A, Giacobbe, M, Punchihewa, H & Roy, D 2023, . in G P茅rez & J-F Raskin (eds), 34th International Conference on Concurrency Theory: CONCUR 2023, September 18鈥�23, 2023, Antwerp, Belgium. Leibniz International Proceedings in Informatics, vol. 279, Schloss Dagstuhl - Leibniz-Zentrum f眉r Informatik , Dagstuhl, pp. 22:1-22:18, 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18/09/23.
Abate, A, Edwards, A & Giacobbe, M 2022, . in S Koyejo, S Mohamed, A Agarwal, D Belgrave , K Cho & A Oh (eds), Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Advances in neural information processing systems, vol. 35, NeurIPS, 36th Conference on Neural Information Processing Systems (NeurIPS 2022), New Orleans, Louisiana, United States, 28/11/22. <>
Abate, A, Ahmed, D, Edwards, A, Giacobbe, M & Peruffo, A 2021, . in HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control., 24, Association for Computing Machinery (ACM).
Abate, A, Giacobbe, M & Roy, D 2021, . in A Silva & KRM Leino (eds), Computer Aided Verification: 3rd International Conference, CAV 2021, Virtual Event, July 20鈥�23, 2021, Proceedings, Part II. 1 edn, Theoretical Computer Science and General Issues, vol. 12760, Springer, Cham, pp. 3鈥�26, 33rd International Conference on Computer-Aided Verification, 18/07/21.
Giacobbe, M, Hasanbeig, M, Kroening, D & Wijk, H 2021, . in AAMAS '21: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS Conference proceedings, International Foundation for Autonomous Agents and Multiagent Systems, pp. 1507鈥�1509, AAMAS '21, United Kingdom, 3/05/21. <>
Bacci, E, Giacobbe, M & Parker, D 2021, . in Z-H Zhou (ed.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: Montreal, 19-27 August 2021. International Joint Conferences on Artificial Intelligence Organization (IJCAI), pp. 2154-2160, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 21/08/21.
Preprint
Abate, A, Giacobbe, M & Schnitzer, Y 2024 '' arXiv.
Abate, A, Giacobbe, M & Roy, D 2024 '' arXiv.
Giacobbe, M, Kroening, D & Parsert, J 2021 '' arXiv.