Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.

Gergei Bana Hubert Comon-Lundh

Published in: POST (2012)

Keyphrases

neural network
machine learning
genetic algorithm
artificial intelligence
decision trees
high level
search algorithm
probability distribution
symbolic representation
connectionist systems