vas-group-imperial

icon indicating a website link http://vas.doc.ic.ac.uk

icon company Department of Computing icon location London icon location Verification of Autonomous Systems Research Group; Department of Computing; Imperial College London; London UK

Results 1 repositories owned by vas-group-imperial

VeriNet

17
Stars
10
Forks
Watchers

The VeriNet toolkit for verification of neural networks

verified publisher icon vas-group-imperial