1. Learning stable deep dynamics models;kolter;Advances in neural information processing systems,2019
2. Formal Synthesis of Lyapunov Neural Networks
3. Offline reinforcement learning for autonomous driving with safety and exploration enhancement;shi,2021
4. Lyapunovstable neural-network control;dai,2021
5. An environment for autonomous driving decision-making;leurent,2018