Sequence Compaction for Probabilistic Analysis of Finite-State Machines.

Diana Marculescu, Radu Marculescu, Massoud Pedram

Browse the full DAC paper archive.