Alec Edwards

According to our database, Alec Edwards authored at least 10 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safe Reach Set Computation via Neural Barrier Certificates.

Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani

CoRR, 2024

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.

Alec Edwards, Andrea Peruffo, Alessandro Abate

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions.

Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis.

Alec Edwards, Andrea Peruffo, Alessandro Abate

CoRR, 2023

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

CoRR, 2023

On the Trade-Off Between Efficiency and Precision of Neural Abstraction.

Alec Edwards, Mirco Giacobbe, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Quantitative Verification with Neural Networks.

Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Neural Abstractions.

Alessandro Abate, Alec Edwards, Mirco Giacobbe

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.

Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.

Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021