A Symbolic Algorithm for Optimal Markov Chain Lumping.

Salem Derisavi

Browse the full TACAS paper archive.