Modular construction of the symbolic observation graph | IEEE Conference Publication | IEEE Xplore