Adaptive formal approximations of Markov chains (Performance Evaluation, 2021)

(untitled) - Abate, A; Andriushchenko, R; Ceska, M; Kwiatkowska, M; Palmer, T