Symmetry reduction for stochastic hybrid systems | IEEE Conference Publication | IEEE Xplore