Alexandros Evangelidis, David Parker 0001. Quantitative verification of Kalman filters. Formal Asp. Comput., 33(4):669-693, 2021. [doi]
@article{Evangelidis021,
title = {Quantitative verification of Kalman filters},
author = {Alexandros Evangelidis and David Parker 0001},
year = {2021},
doi = {10.1007/s00165-020-00529-w},
url = {https://doi.org/10.1007/s00165-020-00529-w},
researchr = {https://researchr.org/publication/Evangelidis021},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {33},
number = {4},
pages = {669-693},
}