"Quantitative Verification of Kalman Filters" - Supporting Material

The code for running the experiments from this paper:

• Alexandros Evangelidis and David Parker
  "Quantitative Verification of Numerical Stability of Kalman Filters
  In Proc. 23rd International Symposium on Formal Methods (FM'19), volume 11800 of LNCS, pages 425-441, Springer, 2019

can be found here:

• https://github.com/alexEvangelidis/fm2019

Code for running the experiments from the extended version of the paper (under submission) can be found here:

• https://github.com/alexEvangelidis/VerFilter