Recent publications
Article
Abate, A, Edwards, A, Giacobbe, M, Punchihewa, H & Roy, D 2026, 'Quantitative Verification with Neural Networks', Logical Methods in Computer Science, vol. 22, no. 2, pp. 4:1-4:26. https://doi.org/10.46298/lmcs-22(2:4)2026
Chapter
Abate, A, Giacobbe, M, Roy, D & Schnitzer, Y 2024, Model Checking and Strategy Synthesis with Abstractions and Certificates. in N Jansen, S Junges, BL Kaminski, C Matheja, T Noll, T Quatmann, M Stoelinga & M Volk (eds), Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Lecture Notes in Computer Science, vol. 15261, Springer, pp. 360-391. https://doi.org/10.1007/978-3-031-75775-4_16
Conference contribution
Abate, A, Giacobbe, M, Ichtchenko, S & Roy, D 2026, Complete ω-Regular Supermartingale Certificates. in Symposium on Logic in Computer Science. Schloss Dagstuhl, 41st Annual ACM/IEEE Symposium on Logic in Computer Science, Lisbon, Portugal, 20/07/26.
Robbins, S, Giacobbe, M & Stella, L 2026, Feedback-evolving Mean-field Games. in 2025 IEEE 64th Conference on Decision and Control (CDC). IEEE Conference on Decision and Control, IEEE, pp. 3176-3181, 2025 IEEE 64th Conference on Decision and Control, Rio de Janeiro, Brazil, 10/12/25. https://doi.org/10.1109/CDC57313.2025.11312263
Abate, A, Contro, D, Giacobbe, M, Martínez-Suñé, A & Roy, D 2026, Value Functions as Supermartingale Certificates. in G Avni & C Schilling (eds), AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 16831, Springer, The 9th International Symposium on AI Verification, Lisbon, Portugal, 24/07/26.
Abate, A, Giacobbe, M, Micheletti, C & Schnitzer, Y 2025, Branching Bisimulation Learning. in R Piskac & Z Rakamaric (eds), Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. 1 edn, Lecture Notes in Computer Science, vol. 15934, Springer, pp. 161-184, 37th International Conference on Computer Aided Verification, CAV 2025, Zagreb, Croatia, 23/07/25. https://doi.org/10.1007/978-3-031-98685-7_8
Giacobbe, M, Kroening, D, Pal, A & Tautschnig, M 2025, Let a Neural Network Be Your Invariant. in D Belgrave, C Zhang, H Lin, R Pascanu, P Koniusz, M Ghassemi & N Chen (eds), Advances in Neural Information Processing Systems 38 (NeurIPS 2025) . Advances in Neural Information Processing Systems, vol. 38, NeurIPS, pp. 74713-74740, The Thirty-Ninth Annual Conference on Neural Information Processing Systems
, San Diego, California, United States, 2/12/25. <https://proceedings.neurips.cc/paper_files/paper/2025/hash/6c4512573f6b91b801e722656b27ea94-Abstract-Conference.html>
Neustroev, G, Giacobbe, M & Lukina, A 2025, Neural Continuous-Time Supermartingale Certificates. in T Walsh, J Shah & Z Kolter (eds), AAAI-25 Special Track on AI Alignment. Proceedings of the AAAI Conference on Artificial Intelligence, no. 26, vol. 39, Association for the Advancement of Artificial Intelligence, pp. 27538-27546, 39th AAAI Conference on Artificial Intelligence, Philadelphia, United States, 25/02/25. https://doi.org/10.1609/aaai.v39i26.34966
Abate, A, Giacobbe, M & Roy, D 2025, Quantitative Supermartingale Certificates. in R Piskac & Z Rakamaric (eds), Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. 1 edn, Lecture Notes in Computer Science, vol. 15932, Springer, pp. 3-28, 37th International Conference on Computer Aided Verification, CAV 2025, Zagreb, Croatia, 23/07/25. https://doi.org/10.1007/978-3-031-98679-6_1
Abate, A, Giacobbe, M & Schnitzer, Y 2024, Bisimulation Learning. in A Gurfinkel & V Ganesh (eds), Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. 1 edn, Lecture Notes in Computer Science, vol. 14683, Springer, pp. 161-183, 36th International Conference on Computer Aided Verification, CAV 2024, Montreal, Canada, 24/07/24. https://doi.org/10.1007/978-3-031-65633-0_8
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.
Abate, A, Giacobbe, M & Roy, D 2024, Stochastic Omega-Regular Verification and Control with Supermartingales. in A Gurfinkel & V Ganesh (eds), Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. 1 edn, Lecture Notes in Computer Science, vol. 14683, Springer, pp. 395-419, 36th International Conference on Computer Aided Verification, CAV 2024, Montreal, Canada, 24/07/24. https://doi.org/10.1007/978-3-031-65633-0_18
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
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
View all publications in research portal