@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={} }