Mirco Giacobbe

According to our database, Mirco Giacobbe authored at least 30 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Neural Continuous-Time Supermartingale Certificates.

Grigory Neustroev, Mirco Giacobbe, Anna Lukina

CoRR, 2024

Neural Model Checking.

Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

CoRR, 2024

Bisimulation Learning.

Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Stochastic Omega-Regular Verification and Control with Supermartingales.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Model Checking and Strategy Synthesis with Abstractions and Certificates.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

CoRR, 2023

On the Trade-Off Between Efficiency and Precision of Neural Abstraction.

Alec Edwards, Mirco Giacobbe, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Quantitative Verification with Neural Networks.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

Proceedings of the 34th International Conference on Concurrency Theory, 2023

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, Karl Henrik Johansson

IEEE Trans. Autom. Control., 2022

Neural termination analysis.

Mirco Giacobbe, Daniel Kroening, Julian Parsert

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Neural Abstractions.

Alessandro Abate, Alec Edwards, Mirco Giacobbe

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.

Goran Frehse, Mirco Giacobbe, Enea Zaffanella

Proceedings of the Principles of Systems Design, 2022

2021

Formal Synthesis of Lyapunov Neural Networks.

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

IEEE Control. Syst. Lett., 2021

Verifying Reinforcement Learning up to Infinity.

Edoardo Bacci, Mirco Giacobbe, David Parker

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 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

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 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

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Learning Probabilistic Termination Proofs.

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Shielding Atari Games with Bounded Prescience.

Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Automated Formal Synthesis of Lyapunov Neural Networks.

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

CoRR, 2020

How Many Bits Does it Take to Quantize Your Neural Network?

Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Continuous-Time Models for System Design and Analysis.

Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

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, Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Space-Time Interpolants.

Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Model checking the evolution of gene regulatory networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov

Acta Informatica, 2017

Counterexample-Guided Refinement of Template Polyhedra.

Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Conic Abstractions for Hybrid Systems.

Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2015

Model Checking Gene Regulatory Networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Predicate Abstraction for Programmable Logic Controllers.

Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski

Proceedings of the Formal Methods for Industrial Critical Systems, 2013