Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)

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…