@article{AACK21,
title = {Adaptive formal approximations of Markov chains},
author = {Abate, Alessandro and Andriushchenko, Roman and Češka, Milan and Kwiatkowska, Marta},
journal = {Performance Evaluation},
pages = {102207},
year = {2021},
issn = {0166-5316},
doi = {https://doi.org/10.1016/j.peva.2021.102207},
url = {https://www.sciencedirect.com/science/article/pii/S0166531621000249},
}