Recent publications
Book
Giacobbe, M, Henzinger, TA & Lechner, M 2020, How Many Bits Does it Take to Quantize Your Neural Network?. https://doi.org/10.1007/978-3-030-45237-7_5
Article
Gao, Y, Abate, A, Jiang, FJ, Giacobbe, M, Xie, L & Johansson, KH 2022, 'Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems', IEEE Transactions on Automatic Control, vol. 67, no. 10, pp. 5071-5086. https://doi.org/10.1109/TAC.2021.3118335
Abate, A, Ahmed, D, Giacobbe, M & Peruffo, A 2021, 'Formal synthesis of Lyapunov neural networks', IEEE Control Systems Letters, vol. 5, no. 3, pp. 773-778. https://doi.org/10.1109/LCSYS.2020.3005328
Chapter
Frehse, G, Giacobbe, M & Zaffanella, E 2022, Symbolic Analysis of Linear Hybrid Automata – 25 Years Later. 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. https://doi.org/10.1007/978-3-031-22337-2_3
Conference contribution
Giacobbe, M, Kroening, D, Pal, A & Tautschnig, M 2024, Neural Model Checking. 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, On the Trade-Off Between Efficiency and Precision of Neural Abstraction. 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. https://doi.org/10.1007/978-3-031-43835-6_12
Abate, A, Edwards, A & Giacobbe, M 2022, Neural Abstractions. 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. <https://proceedings.neurips.cc/paper_files/paper/2022/hash/a922b7121007768f78f770c404415375-Abstract-Conference.html>
Abate, A, Ahmed, D, Edwards, A, Giacobbe, M & Peruffo, A 2021, FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. in HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control., 24, Association for Computing Machinery (ACM). https://doi.org/10.1145/3447928.3456646
Abate, A, Giacobbe, M & Roy, D 2021, Learning Probabilistic Termination Proofs. 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. https://doi.org/10.1007/978-3-030-81688-9_1
Giacobbe, M, Hasanbeig, M, Kroening, D & Wijk, H 2021, Shielding atari games with bounded prescience. 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. <https://dl.acm.org/doi/10.5555/3463952.3464141>
Bacci, E, Giacobbe, M & Parker, D 2021, Verifying reinforcement learning up to infinity. 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. https://doi.org/10.24963/ijcai.2021/297
Frehse, G, Abate, A, Adzkiya, D, Becchi, A, Bu, L, Cimatti, A, Giacobbe, M, Griggio, A, Mover, S, Mufid, MS, Riouak, I, Tonetta, S & Zaffanella, E 2019, Arch-comp19 category report: Hybrid systems with piecewise constant dynamics. in EPiC Series in Computing. https://doi.org/10.29007/rjwn
Preprint
Abate, A, Giacobbe, M & Schnitzer, Y 2024 'Bisimulation Learning' arXiv. https://doi.org/10.48550/arXiv.2405.15723
Abate, A, Giacobbe, M & Roy, D 2024 'Stochastic Omega-Regular Verification and Control with Supermartingales' arXiv. https://doi.org/10.48550/arXiv.2405.17304
Giacobbe, M, Kroening, D & Parsert, J 2021 'Neural Termination Analysis' arXiv. https://doi.org/10.48550/arXiv.2102.03824
View all publications in research portal