nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems.
Chih-Hong ChengChung-Hao HuangGeorg NührenbergPublished in: CoRR (2018)
Keyphrases
- safety critical
- neural network
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- artificial neural networks
- agent architecture
- nuclear power plant
- adaptive systems
- support systems
- back propagation
- real time
- fuzzy logic
- regulatory requirements
- software intensive systems
- learning systems
- distributed systems
- low cost
- artificial intelligence
- database design
- software engineering
- management system