Efficient Stateful Dynamic Partial Order Reduction.

Yu Yang Xiaofang Chen Ganesh Gopalakrishnan Robert M. Kirby

Published in: SPIN (2008)

Keyphrases

dynamic environments
multiscale
lightweight
computationally efficient
model checking
real time
real world
machine learning
expert systems
dynamically changing