Local State Space Analysis Leads to Better Partial Order Reduction.

Hao Zheng Yingying Zhang

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)

Keyphrases

state space
statistical analysis
image processing
quantitative analysis
real time
artificial intelligence
decision making
objective function
data analysis
image analysis
dynamic programming
heuristic search
model checking