An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics.

Xudong He

Browse the full QRS paper archive.