Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction.

Markus Kusano Chao Wang

Published in: ASE (2014)

Keyphrases

cooperative
dynamic optimization
discrete optimization
machine learning
optimization algorithm
optimization problems
neural network
control system
low level
real time
dynamic environments
information systems
model checking
game theory
optimization methods
optimization process
real world