Verification of Systems Based on Neural Networks

Lead Research Organisation: Imperial College London
Department Name: Dept of Computing

Abstract

CDT 1st Year Student - Project to be defined

Publications

10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/S023356/1 01/04/2019 30/09/2027
2268984 Studentship EP/S023356/1 01/10/2019 30/09/2023 Patrik Henrikson