On generating training data for provably stable neural network-based control

Anran Li, Mehdi Hosseinzadeh