@doctoralThesis{Karimov_2023,
title={Algorithmic verification of linear dynamical systems},
author={Karimov, Toghrul},
doi={http://dx.doi.org/10.22028/D291-41630},
year={2023}
}