Verification of safety critical control policies using kernel methods

Open in new window