Alec Edwards

18 papers A* 2B 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models.
Sci. Comput. Program.
Alec Edwards, Andrea Peruffo, Alessandro Abate
2026 J jnl
Quantitative Verification with Neural Networks.
Log. Methods Comput. Sci.
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2025 J jnl
A general framework for verification and control of dynamical models via certificate synthesis.
Annu. Rev. Control.
Alec Edwards, Andrea Peruffo, Alessandro Abate
2025 — conf
Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks.
NeuS
Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate
2024 — conf
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.
HSCC
Alec Edwards, Andrea Peruffo, Alessandro Abate
2024 — conf
Safe Reach Set Computation via Neural Barrier Certificates.
ADHS
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024 J jnl
Safe Reach Set Computation via Neural Barrier Certificates.
CoRR
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024 A* conf
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions.
AAAI
Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate
2023 J jnl
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis.
CoRR
Alec Edwards, Andrea Peruffo, Alessandro Abate
2023 J jnl
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.
CoRR
Alec Edwards, Andrea Peruffo, Alessandro Abate
2023 J jnl
Neural Abstractions.
CoRR
Alessandro Abate, Alec Edwards, Mirco Giacobbe
2023 — conf
On the Trade-Off Between Efficiency and Precision of Neural Abstraction.
QEST
Alec Edwards, Mirco Giacobbe, Alessandro Abate
2023 J jnl
On the Trade-off Between Efficiency and Precision of Neural Abstraction.
CoRR
Alec Edwards, Mirco Giacobbe, Alessandro Abate
2023 J jnl
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.
CoRR
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2023 B conf
Quantitative Verification with Neural Networks.
CONCUR
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
2022 A* conf
Neural Abstractions.
NeurIPS
Alessandro Abate, Alec Edwards, Mirco Giacobbe
2021 — conf
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.
OVERLAY@GandALF
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021 — conf
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.
HSCC
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo