Response property checking via distributed state space exploration.

Brad D. Bingham Mark R. Greenstreet

Published in: FMCAD (2014)

Keyphrases

space exploration
multi agent
cooperative
computer vision
lightweight
distributed environment
neural network
state space
computational intelligence
distributed systems
parameter tuning