@Article{EP21,
author={Alexandros Evangelidis and David Parker},
title={Quantitative Verification of Kalman Filters},
journal={Formal Aspects of Computing},
year={2021},

volume={33},
number={4-5},
pages={669-693},
publisher={Springer},
month={},
note={},
key={}
}