Mirco Giacobbe

49 papers A* 4A 2B 1C 1Journal 19Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings SAIV Mirco Giacobbe, Anna Lukina
2026	J	`jnl`	Quantitative Verification with Neural Networks. Log. Methods Comput. Sci. Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2025	—	`conf`	Branching Bisimulation Learning. CAV (4) Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2025	J	`jnl`	Branching Bisimulation Learning. CoRR Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
2025	J	`jnl`	Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems. CoRR Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe, Alessandro Abate, Manuel Mazo Jr.
2025	—	`conf`	Feedback-evolving Mean-field Games. CDC Sam Eric Robbins, Mirco Giacobbe, Leonardo Stella
2025	A*	`conf`	Neural Continuous-Time Supermartingale Certificates. AAAI Grigory Neustroev, Mirco Giacobbe, Anna Lukina
2025	—	`conf`	Quantitative Supermartingale Certificates. CAV (2) Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2025	J	`jnl`	Quantitative Supermartingale Certificates. CoRR Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2024	—	`ed.`	AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings SAIV Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2024	—	`conf`	Bisimulation Learning. CAV (3) Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
2024	J	`jnl`	Bisimulation Learning. CoRR Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
2024	—	`conf`	Model Checking and Strategy Synthesis with Abstractions and Certificates. Principles of Verification (2) Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer
2024	J	`jnl`	Neural Continuous-Time Supermartingale Certificates. CoRR Grigory Neustroev, Mirco Giacobbe, Anna Lukina
2024	A*	`conf`	Neural Model Checking. NeurIPS Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig
2024	J	`jnl`	Neural Model Checking. CoRR Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig
2024	—	`conf`	Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2024	J	`jnl`	Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2023	J	`jnl`	Neural Abstractions. CoRR Alessandro Abate, Alec Edwards, Mirco Giacobbe
2023	—	`conf`	On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST Alec Edwards, Mirco Giacobbe, Alessandro Abate
2023	J	`jnl`	On the Trade-off Between Efficiency and Precision of Neural Abstraction. CoRR Alec Edwards, Mirco Giacobbe, Alessandro Abate
2023	J	`jnl`	Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2023	B	`conf`	Quantitative Verification with Neural Networks. CONCUR Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2022	A*	`conf`	Neural Abstractions. NeurIPS Alessandro Abate, Alec Edwards, Mirco Giacobbe
2022	—	`conf`	Neural termination analysis. ESEC/SIGSOFT FSE Mirco Giacobbe, Daniel Kroening, Julian Parsert
2022	—	`conf`	Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design Goran Frehse, Mirco Giacobbe, Enea Zaffanella
2022	J	`jnl`	Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
2021	—	`conf`	A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021	—	`conf`	FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021	J	`jnl`	Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
2021	—	`conf`	Learning Probabilistic Termination Proofs. CAV (2) Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2021	J	`jnl`	Neural Termination Analysis. CoRR Mirco Giacobbe, Daniel Kroening, Julian Parsert
2021	A	`conf`	Shielding Atari Games with Bounded Prescience. AAMAS Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
2021	J	`jnl`	Shielding Atari Games with Bounded Prescience. CoRR Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
2021	A*	`conf`	Verifying Reinforcement Learning up to Infinity. IJCAI Edoardo Bacci, Mirco Giacobbe, David Parker
2020	J	`jnl`	Automated Formal Synthesis of Lyapunov Neural Networks. CoRR Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
2020	—	`conf`	How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner
2020	J	`jnl`	Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. CoRR Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
2019	—	`conf`	ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 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
2019	—	`ch.`	Continuous-Time Models for System Design and Analysis. Computing and Software Science Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis
2018	—	`conf`	ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
2018	—	`conf`	Space-Time Interpolants. CAV (1) Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
2017	—	`conf`	ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
2017	—	`conf`	Conic Abstractions for Hybrid Systems. FORMATS Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
2017	—	`conf`	Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
2017	J	`jnl`	Model checking the evolution of gene regulatory networks. Acta Informatica Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2015	A	`conf`	Model Checking Gene Regulatory Networks. TACAS Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2014	J	`jnl`	Model Checking Gene Regulatory Networks. CoRR Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2013	C	`conf`	Predicate Abstraction for Programmable Logic Controllers. FMICS Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski