1. FOSSIL: A software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks;Abate,2021
2. Constrained policy optimization;Achiam,2017
3. Multi-agent trajectory tracking with self-triggered cloud access;Adaldo,2016
4. Safe control synthesis via input constrained control barrier functions;Agrawal,2021
5. Some applications of polynomial optimization in operations research and real-time decision making;Ahmadi;Optimization Letters,2016