1. A. Edwards M. Giacobbe A. Abate, D. Ahmed and A. Peruffo. 2021. Fossil: A software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. In the 24th International Conference on Hybrid Systems: Computation and Control. ACM, 1–11.
2. Safe Reinforcement Learning via Shielding
3. Eitan Altman. 2021. Constrained Markov decision processes. Routledge.
4. Learning dexterous in-hand manipulation
5. Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. 2016. Openai gym. arXiv preprint arXiv:1606.01540 (2016).