Daniele Ahmed

According to our database1, Daniele Ahmed authored at least 6 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Synthesis of Lyapunov Neural Networks.
IEEE Control. Syst. Lett., 2021

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.
CoRR, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018
Federated logic conference (FLoC) at Oxford.
ACM SIGLOG News, 2018


  Loading...