Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping | IEEE Conference Publication | IEEE Xplore