Mirco Giacobbe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Complete ω-Regular Supermartingale Certificates. | Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko, Diptarko Roy |
| 2025 | AAAI | Neural Continuous-Time Supermartingale Certificates. | Grigory Neustroev, Mirco Giacobbe, Anna Lukina |
| 2025 | CAV | Branching Bisimulation Learning. | Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer |
| 2025 | CAV | Quantitative Supermartingale Certificates. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2024 | CAV | Stochastic Omega-Regular Verification and Control with Supermartingales. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2024 | CAV | Bisimulation Learning. | Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer |
| 2023 | CONCUR | Quantitative Verification with Neural Networks. | Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy |
| 2021 | CAV | Learning Probabilistic Termination Proofs. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2021 | IJCAI | Verifying Reinforcement Learning up to Infinity. | Edoardo Bacci, Mirco Giacobbe, David Parker |
| 2020 | TACAS | How Many Bits Does it Take to Quantize Your Neural Network? | Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner |
| 2018 | CAV | Space-Time Interpolants. | Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
| 2017 | TACAS | Counterexample-Guided Refinement of Template Polyhedra. | Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
| 2015 | TACAS | Model Checking Gene Regulatory Networks. | Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixo, Tatjana Petrov |
| 2013 | FMICS | Predicate Abstraction for Programmable Logic Controllers. | Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski |