Login / Signup
Compositionality in State Space Verification Methods.
Antti Valmari
Published in:
Application and Theory of Petri Nets (1996)
Keyphrases
</>
state space
genetic algorithm
artificial intelligence
significant improvement
neural network
video sequences
cross validation