Parallel Symbolic Observation Graph | IEEE Conference Publication | IEEE Xplore