Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
Igor KhmelnitskyDaniel NeiderRajarshi RoyXuan XieBenoît BarbotBenedikt BolligAlain FinkelSerge HaddadMartin LeuckerLina YePublished in: ATVA (2021)
Keyphrases
- recurrent neural networks
- neural network
- feed forward
- echo state networks
- model checking
- long short term memory
- reservoir computing
- feedforward neural networks
- complex valued
- artificial neural networks
- recurrent networks
- cascade correlation
- formal verification
- hidden layer
- neural model
- genetic algorithm
- third party
- support vector
- knowledge base
- artificial intelligence