Formal Validation of Neural Networks as Timed Automata.
Elisabetta De MariaCinzia Di GiustoGiovanni CiattoPublished in: CSBio (2017)
Keyphrases
- timed automata
- neural network
- model checking
- reachability analysis
- formal methods
- theorem prover
- formal specification
- artificial neural networks
- theorem proving
- pattern recognition
- genetic algorithm
- neural nets
- multilayer perceptron
- real time systems
- first order logic
- back propagation
- feed forward
- neural network model
- fuzzy systems
- decision trees
- learning rules
- multi layer
- formal model
- temporal logic
- self organizing maps
- fuzzy neural network
- information systems
- fuzzy logic
- global exponential stability
- real time