Giacobbe, Mirco

5 publications

NeurIPS 2025 Let a Neural Network Be Your Invariant Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

AAAI 2025 Neural Continuous-Time Supermartingale Certificates Grigory Neustroev, Mirco Giacobbe, Anna Lukina

NeurIPS 2024 Neural Model Checking Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

NeurIPS 2022 Neural Abstractions Alessandro Abate, Alec Edwards, Mirco Giacobbe

IJCAI 2021 Verifying Reinforcement Learning up to Infinity Edoardo Bacci, Mirco Giacobbe, David Parker