Daniele Ahmed is an author at University of Oxford specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2020–2021
2
2
Formal Synthesis of Lyapunov Neural Networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe et al. · IEEE Control Systems Letters · 2020 · 114 citations · Full text
Alessandro Abate, Daniele Ahmed, Alec Edwards et al. · 2021 · 58 citations
Engineering, Barrier Certificates, Automatic Differentiation +11
Rows per page
1–2 of 2