Sequence Compaction For Probabilistic Analysis Of Finite-state Machines | IEEE Conference Publication | IEEE Xplore