Adaptive formal approximations of Markov chains - Abate, A; Andriushchenko, R; Ceska, M; Kwiatkowska, M; Palmer, T (Performance Evaluation, 2021)