Predicate Abstraction for Programmable Logic Controllers. - Sebastian Biallas; Mirco Giacobbe; Stefan Kowalewski (FMICS, 2013)

Model Checking Gene Regulatory Networks. - Mirco Giacobbe; Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Tiago Paixão; Tatjana Petrov (TACAS, 2015)

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe (ARCH@CPSWeek, 2017)

Conic Abstractions for Hybrid Systems. - Sergiy Bogomolov; Mirco Giacobbe; Thomas A. Henzinger; Hui Kong 004 (FORMATS, 2017)

Counterexample-Guided Refinement of Template Polyhedra. - Sergiy Bogomolov; Goran Frehse; Mirco Giacobbe; Thomas A. Henzinger (TACAS (1), 2017)

Model checking the evolution of gene regulatory networks. - Mirco Giacobbe; Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Tiago Paixão; Tatjana Petrov (Acta Informatica, 2017)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH@ADHS, 2018)

Space-Time Interpolants. - Goran Frehse; Mirco Giacobbe; Thomas A. Henzinger (CAV (1), 2018)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Anna Becchi; Lei Bu; Alessandro Cimatti; Mirco Giacobbe; Alberto Griggio; Sergio Mover; Muhammad Syifa'ul Mufid; Idriss Riouak; Stefano Tonetta; et al. (ARCH@CPSIoTWeek, 2019)

Continuous-Time Models for System Design and Analysis. - Rajeev Alur; Mirco Giacobbe; Thomas A. Henzinger; Kim G. Larsen; Marius Mikucionis (Computing and Software Science, 2019)

How Many Bits Does it Take to Quantize Your Neural Network? - Mirco Giacobbe; Thomas A. Henzinger; Mathias Lechner (TACAS (2), 2020)

Automated Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (CoRR, 2020)

Shielding Atari Games with Bounded Prescience. - Mirco Giacobbe; Mohammadhosein Hasanbeig; Daniel Kroening; Hjalmar Wijk (AAMAS, 2021)

Learning Probabilistic Termination Proofs. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (2), 2021)

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (OVERLAY@GandALF, 2021)

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. - Alessandro Abate; Daniele Ahmed; Alec Edwards; Mirco Giacobbe; Andrea Peruffo (HSCC, 2021)

Verifying Reinforcement Learning up to Infinity. - Edoardo Bacci; Mirco Giacobbe; David Parker 001 (IJCAI, 2021)

Formal Synthesis of Lyapunov Neural Networks. - Alessandro Abate; Daniele Ahmed; Mirco Giacobbe; Andrea Peruffo (IEEE Control. Syst. Lett., 2021)

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. - Goran Frehse; Mirco Giacobbe; Enea Zaffanella (Principles of Systems Design, 2022)

Neural Abstractions. - Alessandro Abate; Alec Edwards; Mirco Giacobbe (NeurIPS, 2022)

Neural termination analysis. - Mirco Giacobbe; Daniel Kroening; Julian Parsert (ESEC/SIGSOFT FSE, 2022)

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. - Yulong Gao; Alessandro Abate; Frank J. Jiang; Mirco Giacobbe; Lihua Xie 001; Karl Henrik Johansson (IEEE Trans. Autom. Control., 2022)

Quantitative Verification with Neural Networks. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CONCUR, 2023)

On the Trade-Off Between Efficiency and Precision of Neural Abstraction. - Alec Edwards; Mirco Giacobbe; Alessandro Abate (QEST, 2023)

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. - Alessandro Abate; Alec Edwards; Mirco Giacobbe; Hashan Punchihewa; Diptarko Roy (CoRR, 2023)

Model Checking and Strategy Synthesis with Abstractions and Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy; Yannik Schnitzer (Principles of Verification (2), 2024)

Stochastic Omega-Regular Verification and Control with Supermartingales. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (3), 2024)

Bisimulation Learning. - Alessandro Abate; Mirco Giacobbe; Yannik Schnitzer (CAV (3), 2024)

Neural Model Checking. - Mirco Giacobbe; Daniel Kroening; Abhinandan Pal; Michael Tautschnig (NeurIPS, 2024)

Neural Continuous-Time Supermartingale Certificates. - Grigory Neustroev; Mirco Giacobbe; Anna Lukina (AAAI, 2025)

Branching Bisimulation Learning. - Alessandro Abate; Mirco Giacobbe; Christian Micheletti; Yannik Schnitzer (CAV (4), 2025)

Quantitative Supermartingale Certificates. - Alessandro Abate; Mirco Giacobbe; Diptarko Roy (CAV (2), 2025)