nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems.
Chih-Hong ChengChung-Hao HuangGeorg NührenbergPublished in: ICCAD (2019)
Keyphrases
- safety critical
- neural network
- formal methods
- fault tolerant
- safety analysis
- agent architecture
- embedded systems
- autonomous driving
- support systems
- distributed systems
- artificial neural networks
- fuzzy logic
- adaptive systems
- machine learning
- cooperative
- computer vision
- test bed
- grand challenge
- information systems
- software intensive systems