| 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 | 93 | 2021 |
| Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models A Edwards, A Peruffo, A Abate Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024 | 14 | 2024 |
| Quantitative verification with neural networks A Abate, A Edwards, M Giacobbe, H Punchihewa, D Roy arXiv preprint arXiv:2301.06136, 2023 | 10 | 2023 |
| Neural abstractions A Abate, A Edwards, M Giacobbe Advances in Neural Information Processing Systems 35, 26432-26447, 2022 | 10 | 2022 |
| A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis A Edwards, A Peruffo, A Abate arXiv:2309.06090, 2023 | 7* | 2023 |
| Safe Reach Set Computation via Neural Barrier Certificates A Abate, S Bogomolov, A Edwards, K Potomkin, S Soudjani, P Zuliani arXiv preprint arXiv:2404.18813, 2024 | 3 | 2024 |
| Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions V Debauche, A Edwards, RM Jungers, A Abate Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21010 …, 2024 | 3 | 2024 |
| 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 | 1 | 2023 |
| Formal verification of dynamical models via neural synthesis A Edwards University of Oxford, 2024 | | 2024 |
| Distributed Optimisation for Energy Management in Building Networks A Edwards, JP Calliess, K Margellos 2018 UKACC 12th International Conference on Control (CONTROL), 44-49, 2018 | | 2018 |