Efficient Verification of Neural Networks Against LVM-Based Specifications.

Harleen Hanspal Alessio Lomuscio

Published in: CVPR (2023)

Keyphrases

neural network
cost effective
artificial neural networks
fuzzy logic
databases
pattern recognition
artificial intelligence
high level
expert systems
genetic algorithm
back propagation
machine learning
activation function
formal methods
formal verification
asynchronous circuits
concurrent systems