Verified Safe Reinforcement Learning for Neural Network Dynamic Models

Open in new window