Approximate Abstractions of Markov Chains with Interval Decision Processes. - Yuriy Zacchia Lun; Jack Wheatley; Alessandro D'Innocenzo; Alessandro Abate (ADHS, 2018)

Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version). - Yuriy Zacchia Lun; Jack Wheatley; Alessandro D'Innocenzo; Alessandro Abate (CoRR, 2018)