Learning Verifiable Control Policies Using Relaxed Verification

Open in new window