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 | 57 | 2021 |
Neural abstractions A Abate, A Edwards, M Giacobbe Advances in Neural Information Processing Systems 35, 26432-26447, 2022 | 3 | 2022 |
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models A Edwards, A Peruffo, A Abate arXiv preprint arXiv:2311.09793, 2023 | 2 | 2023 |
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis A Edwards, A Peruffo, A Abate arXiv preprint arXiv:2309.06090, 2023 | 2 | 2023 |
Quantitative verification with neural networks A Abate, A Edwards, M Giacobbe, H Punchihewa, D Roy arXiv preprint arXiv:2301.06136, 2023 | 2* | 2023 |
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 | 1 | 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 | | 2023 |
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 |