Follow
Mirco Giacobbe
Mirco Giacobbe
Verified email at bham.ac.uk - Homepage
Title
Cited by
Cited by
Year
Formal Synthesis of Lyapunov Neural Networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
IEEE Control Systems Letters 5 (3), 773-778, 2020
1022020
FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks
A Abate, D Ahmed, A Edwards, M Giacobbe, A Peruffo
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
522021
Counterexample-guided refinement of template polyhedra
S Bogomolov, G Frehse, M Giacobbe, TA Henzinger
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
362017
How many bits does it take to quantize your neural network?
M Giacobbe, TA Henzinger, M Lechner
International Conference on Tools and Algorithms for the Construction and …, 2020
272020
Shielding Atari Games with Bounded Prescience
M Giacobbe, M Hasanbeig, D Kroening, H Wijk
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
232021
Learning probabilistic termination proofs
A Abate, M Giacobbe, D Roy
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
202021
Verifying reinforcement learning up to infinity
E Bacci, M Giacobbe, D Parker
Proceedings of the International Joint Conference on Artificial Intelligence …, 2021
192021
Model checking gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
International Conference on Tools and Algorithms for the Construction and …, 2015
182015
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
142019
Continuous-time models for system design and analysis
R Alur, M Giacobbe, TA Henzinger, KG Larsen, M Mikučionis
Computing and Software Science: State of the Art and Perspectives, 452-477, 2019
132019
Model checking the evolution of gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
Acta Informatica 54, 765-787, 2017
132017
Neural termination analysis
M Giacobbe, D Kroening, J Parsert
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
102022
Predicate abstraction for programmable logic controllers
S Biallas, M Giacobbe, S Kowalewski
International Workshop on Formal Methods for Industrial Critical Systems …, 2013
102013
Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems
Y Gao, A Abate, FJ Jiang, M Giacobbe, L Xie, KH Johansson
IEEE Transactions on Automatic Control, 2021
92021
Conic abstractions for hybrid systems
S Bogomolov, M Giacobbe, TA Henzinger, H Kong
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
82017
Space-time interpolants
G Frehse, M Giacobbe, TA Henzinger
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
72018
Neural Abstractions
A Abate, A Edwards, M Giacobbe
Advances in Neural Information Processing Systems, 2022
32022
Quantitative Verification with Neural Networks
A Abate, A Edwards, M Giacobbe, H Punchihewa, D Roy
arXiv preprint arXiv:2301.06136, 2023
2*2023
On the Trade-Off Between Efficiency and Precision of Neural Abstraction
A Edwards, M Giacobbe, A Abate
International Conference on Quantitative Evaluation of Systems, 152-171, 2023
2023
Symbolic Analysis of Linear Hybrid Automata–25 Years Later
G Frehse, M Giacobbe, E Zaffanella
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20