Synthesizing barrier certificates using neural networks.
Hengjun ZhaoXia ZengTaolue ChenZhiming LiuPublished in: HSCC (2020)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- fault diagnosis
- public key
- pattern recognition
- fuzzy logic
- network architecture
- access control
- competitive learning
- neural nets
- multi layer
- hopfield neural network
- artificial intelligence
- training algorithm
- training process
- fuzzy systems
- self organizing maps
- data sets
- computational intelligence
- genetic algorithm
- e learning
- information systems
- computer vision