Mirco Giacobbe

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 32

Top Topics

Termination Analysis

Piecewise Constant

Top Venues

IEEE Control. Syst. Lett.

Publications

Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CAV (3) (2024)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR (2024)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CoRR (2024)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) (2024)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification with Neural Networks. CONCUR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-off Between Efficiency and Precision of Neural Abstraction. CoRR (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe
Neural Abstractions. CoRR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe
Neural Abstractions. NeurIPS (2022)
Goran Frehse, Mirco Giacobbe, Enea Zaffanella
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design (2022)
Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural termination analysis. ESEC/SIGSOFT FSE (2022)
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Edoardo Bacci, Mirco Giacobbe, David Parker
Verifying Reinforcement Learning up to Infinity. IJCAI (2021)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Learning Probabilistic Termination Proofs. CAV (2) (2021)
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
Shielding Atari Games with Bounded Prescience. AAMAS (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF (2021)
Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural Termination Analysis. CoRR (2021)
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. 5 (3) (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC (2021)
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
Shielding Atari Games with Bounded Prescience. CoRR (2021)
Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner
How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) (2020)
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. CoRR (2020)
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
Automated Formal Synthesis of Lyapunov Neural Networks. CoRR (2020)
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
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Space-Time Interpolants. CAV (1) (2018)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) (2017)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model checking the evolution of gene regulatory networks. Acta Informatica 54 (8) (2017)
Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
Conic Abstractions for Hybrid Systems. FORMATS (2017)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model Checking Gene Regulatory Networks. TACAS (2015)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model Checking Gene Regulatory Networks. CoRR (2014)
Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
Predicate Abstraction for Programmable Logic Controllers. FMICS (2013)