Quantitative verification of Kalman filters.
Alexandros EvangelidisDavid ParkerPublished in: Formal Aspects Comput. (2021)
Keyphrases
- kalman filter
- kalman filtering
- object tracking
- particle filter
- motion parameters
- state estimation
- particle filtering
- quantitative and qualitative
- model checking
- mean shift
- signature verification
- qualitative and quantitative
- formal verification
- rao blackwellized particle filter
- image sequences
- robust tracking
- global motion