| Formal Synthesis of Lyapunov Neural Networks A Abate, D Ahmed, M Giacobbe, A Peruffo IEEE Control Systems Letters 5 (3), 773-778, 2020 | 151 | 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 | 91 | 2021 |
| 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 | 40 | 2017 |
| Learning probabilistic termination proofs A Abate, M Giacobbe, D Roy Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 32 | 2021 |
| 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 | 32 | 2020 |
| 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 | 27 | 2021 |
| Verifying reinforcement learning up to infinity E Bacci, M Giacobbe, D Parker Proceedings of the International Joint Conference on Artificial Intelligence …, 2021 | 26 | 2021 |
| Neural termination analysis M Giacobbe, D Kroening, J Parsert Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 23 | 2022 |
| 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 | 19 | 2021 |
| 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 |
| 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 |
| 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 | 13 | 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, 765-787, 2017 | 13 | 2017 |
| Neural Abstractions A Abate, A Edwards, M Giacobbe Advances in Neural Information Processing Systems, 2022 | 10 | 2022 |
| Conic abstractions for hybrid systems S Bogomolov, M Giacobbe, TA Henzinger, H Kong Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 10 | 2017 |
| Predicate abstraction for programmable logic controllers S Biallas, M Giacobbe, S Kowalewski International Workshop on Formal Methods for Industrial Critical Systems …, 2013 | 10 | 2013 |
| 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 | 9* | 2023 |
| Space-time interpolants G Frehse, M Giacobbe, TA Henzinger Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 8 | 2018 |
| Stochastic omega-regular verification and control with supermartingales A Abate, M Giacobbe, D Roy International Conference on Computer Aided Verification, 395-419, 2024 | 7 | 2024 |
| Bisimulation learning A Abate, M Giacobbe, Y Schnitzer International Conference on Computer Aided Verification, 161-183, 2024 | 5 | 2024 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
