@InProceedings{EP19,
author={Alexandros Evangelidis and David Parker},
title={Quantitative Verification of Numerical Stability for Kalman Filters},
booktitle={Proc. 23rd International Symposium on Formal Methods (FM'19)},
year={2019},

editors={},
pages={425-441},
organization={},
publisher={Springer},
series={LNCS},
volume={11800},
address={},
month={},
note={},
key={}
}