Funder
European Research Council
National Oceanography Centre
University College London
Reference42 articles.
1. Abate, A., Ahmed, D., Edwards, A., Giacobbe, M., & Peruffo, A. (2021). FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. In Proceedings of the 24th international conference on hybrid systems: computation and control (pp. 1–11).
2. Formal synthesis of Lyapunov neural networks;Abate;IEEE Control Systems Letters,2020
3. Automated and sound synthesis of Lyapunov functions with SMT solvers;Ahmed,2020
4. Docking control of an autonomous underwater vehicle using reinforcement learning;Anderlini;Applied Sciences,2019
5. Identification of the dynamics of biofouled underwater gliders;Anderlini,2020