Runtime Verification with State Estimation.
Scott D. StollerEzio BartocciJustin SeysterRadu GrosuKlaus HavelundScott A. SmolkaErez ZadokPublished in: RV (2011)
Keyphrases
- state estimation
- kalman filter
- kalman filtering
- state space model
- dynamic systems
- particle filter
- particle filtering
- extended kalman filter
- visual tracking
- model checking
- computer vision
- probability distribution
- image processing
- object tracking
- multi agent systems
- optimal solution
- multiscale
- feature extraction
- machine learning