Neural Network Repair with Reachability Analysis.
Xiaodong YangTom YamaguchiHoang-Dung TranBardh HoxhaTaylor T. JohnsonDanil V. ProkhorovPublished in: FORMATS (2022)
Keyphrases
- reachability analysis
- neural network
- markov decision processes
- model checking
- incremental algorithms
- timed automata
- back propagation
- neural network model
- state space
- artificial neural networks
- fuzzy logic
- feed forward
- recurrent neural networks
- learning algorithm
- genetic algorithm
- self organizing maps
- temporal logic
- damage assessment
- artificial intelligence
- neural network is trained
- data mining