| Formal Synthesis of Lyapunov Neural Networks A Abate, D Ahmed, M Giacobbe, A Peruffo IEEE Control Systems Letters 5 (3), 773-778, 2020 | 204 | 2020 |
| 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 | 146 | 2021 |
| Learning probabilistic termination proofs A Abate, M Giacobbe, D Roy International Conference on Computer Aided Verification, 3-26, 2021 | 46 | 2021 |
| Counterexample-guided refinement of template polyhedra S Bogomolov, G Frehse, M Giacobbe, TA Henzinger International Conference on Tools and Algorithms for the Construction and …, 2017 | 44 | 2017 |
| 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 | 42 | 2020 |
| Verifying reinforcement learning up to infinity E Bacci, M Giacobbe, D Parker Proceedings of the International Joint Conference on Artificial Intelligence …, 2021 | 36 | 2021 |
| 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 | 35 | 2021 |
| Neural termination analysis M Giacobbe, D Kroening, J Parsert Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 30 | 2022 |
| Stochastic omega-regular verification and control with supermartingales A Abate, M Giacobbe, D Roy International Conference on Computer Aided Verification, 395-419, 2024 | 26 | 2024 |
| 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 | 24 | 2021 |
| Neural Abstractions A Abate, A Edwards, M Giacobbe Advances in Neural Information Processing Systems, 2022 | 23 | 2022 |
| 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 | 18 | 2015 |
| 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 | 16 | 2019 |
| Quantitative Verification with Neural Networks A Abate, A Edwards, M Giacobbe, H Punchihewa, D Roy Proceedings of the 34th International Conference on Concurrency Theory …, 2023 | 15* | 2023 |
| 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 | 15 | 2019 |
| Model checking the evolution of gene regulatory networks M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov Acta Informatica 54 (8), 765-787, 2017 | 14 | 2017 |
| Neural model checking M Giacobbe, D Kroening, A Pal, M Tautschnig Advances in Neural Information Processing Systems 37, 86375-86398, 2025 | 13 | 2025 |
| Conic abstractions for hybrid systems S Bogomolov, M Giacobbe, TA Henzinger, H Kong International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 12 | 2017 |
| Bisimulation learning A Abate, M Giacobbe, Y Schnitzer International Conference on Computer Aided Verification, 161-183, 2024 | 10 | 2024 |
| Predicate abstraction for programmable logic controllers S Biallas, M Giacobbe, S Kowalewski International Workshop on Formal Methods for Industrial Critical Systems …, 2013 | 10 | 2013 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
