Partial Order Reduction for State/Event Systems.

Shuanglong Kan Zhiqiu Huang Zhe Chen

Published in: ICFEM (2016)

Keyphrases

databases
management system
intelligent systems
event detection
event recognition
similarity measure
bayesian networks
expert systems
probabilistic model
state space
building blocks
complex systems