Edwards, Alec

2 publications

AAAI 2024 Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate

NeurIPS 2022 Neural Abstractions Alessandro Abate, Alec Edwards, Mirco Giacobbe