Neural Network Repair with Reachability Analysis.
Xiaodong YangTom YamaguchiHoang-Dung TranBardh HoxhaTaylor T. JohnsonDanil V. ProkhorovPublished in: CoRR (2021)
Keyphrases
- reachability analysis
- neural network
- model checking
- markov decision processes
- timed automata
- incremental algorithms
- artificial neural networks
- neural network is trained
- back propagation
- neural network model
- genetic algorithm
- damage assessment
- recurrent neural networks
- state space
- decision making
- artificial intelligence
- feed forward
- self organizing maps
- prediction model
- fault diagnosis
- sufficient conditions
- search algorithm