1. FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks;Abate;In Proc. of HSCC,2021
2. Beard, R.W. (1995). Improving the closed-loop performance of nonlinear systems. Ph.D. thesis, Rensselaer Polytechnic Institute.
3. Bellman, R. (1957). Dynamic Programming. Princeton University Press.
4. Bertsekas, D. (2012). Dynamic Programming and Optimal Control: Volume I, volume 4. Athena Scientific.
5. Reinforcement Learning and Optimal Control;Bertsekas,2019