research
∙
04/09/2019
Towards Safety Verification of Direct Perception Neural Networks
We study the problem of safety verification of direct perception neural ...
share
research
∙
11/16/2018
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems
nn-dependability-kit is an open-source toolbox to support safety enginee...
research
∙
06/06/2018
Towards Dependability Metrics for Neural Networks
Neural networks and other data engineered models are instrumental in dev...
research
∙
05/11/2018
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Systematically testing models learned from neural networks remains a cru...
research
∙
10/09/2017