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
Frehse, G, Giacobbe, M & Henzinger, TA 2018, Space-time interpolants. https://doi.org/10.1007/978-3-319-96145-3_25
Bogomolov, S, Giacobbe, M, Henzinger, TA & Kong, H 2017, Conic abstractions for hybrid systems. https://doi.org/10.1007/978-3-319-65765-3_7
Bogomolov, S, Frehse, G, Giacobbe, M & Henzinger, TA 2017, Counterexample-guided refinement of template polyhedra. https://doi.org/10.1007/978-3-662-54577-5_34
Giacobbe, M, Guet, CC, Gupta, A, Henzinger, TA, Paixao, T & Petrov, T 2015, Model checking gene regulatory networks. https://doi.org/10.1007/978-3-662-46681-0_47
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
Giacobbe, M, Guet, CC, Gupta, A, Henzinger, TA, Paixão, T & Petrov, T 2017, 'Model checking the evolution of gene regulatory networks', Acta Informatica. https://doi.org/10.1007/s00236-016-0278-x
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
Alur, R, Giacobbe, M, Henzinger, TA, Larsen, KG & Mikučionis, M 2019, Continuous-time models for system design and analysis. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https://doi.org/10.1007/978-3-319-91908-9_22
Conference contribution
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
Preprint
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