Attacking Symbolic State Explosion.

Giorgio Delzanno Jean-François Raskin Laurent Van Begin

Published in: CAV (2001)

Keyphrases

neural network
social networks
special case
image processing
artificial neural networks
state transition