Labeled Markov processes: stronger and faster approximations | IEEE Conference Publication | IEEE Xplore