Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata.
Elisabetta De MariaCinzia Di GiustoPublished in: BIOSTEC (Selected Papers) (2018)
Keyphrases
- timed automata
- neural network
- model checking
- reachability analysis
- pattern recognition
- theorem prover
- hidden neurons
- weight update
- artificial neural networks
- first order logic
- neural network model
- weighting scheme
- linear combination
- online discussion
- fuzzy logic
- weighted sum
- genetic algorithm
- artificial intelligence
- real time systems
- training process
- fuzzy systems
- bayesian networks
- multilayer perceptron
- relative importance
- feed forward neural networks
- feedforward neural networks
- temporal logic
- discussion forums
- hopfield neural network
- asynchronous circuits
- connection weights
- self organizing maps
- fault diagnosis
- back propagation
- distributed systems