6 citations · 6 across the 1 of their papers we have counts for
1 paper
Y. Zacchia Lun, J. Wheatley, A. D'Innocenzo +1
This work introduces a new abstraction technique for reducing the state space of large, discrete-time labelled Markov chains. The abstraction leverages the semantics of interval Ma…