Alec Edwards

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Stability Analysis

Top Venues

OVERLAY@GandALF

Publications

Alec Edwards, Andrea Peruffo, Alessandro Abate
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. HSCC (2024)
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates. CoRR (2024)
Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. AAAI (2024)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification with Neural Networks. CONCUR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR (2023)
Alec Edwards, Andrea Peruffo, Alessandro Abate
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. CoRR (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-off Between Efficiency and Precision of Neural Abstraction. CoRR (2023)
Alec Edwards, Andrea Peruffo, Alessandro Abate
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. CoRR (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe
Neural Abstractions. CoRR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe
Neural Abstractions. NeurIPS (2022)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC (2021)