Title | Citations | PageRank | Year |
---|---|---|---|
Quantitative verification of Kalman filters | 0 | 0.34 | 2021 |
Quantitative Verification of Numerical Stability for Kalman Filters. | 0 | 0.34 | 2019 |
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. | 6 | 0.50 | 2018 |