1. Formal synthesis of Lyapunov neural networks;Abate;IEEE Control Systems Letters,2020
2. CommonRoad: Composable benchmarks for motion planning on roads;Althoff,2017
3. The MOSEK interior point optimizer for linear programming: an implementation of the homogeneous algorithm;Andersen,2000
4. Principles of model checking;Baier,2008
5. Formal methods for discrete-time dynamical systems, Vol. 15;Belta,2017