Model Checking of a Target Tracking Protocol for Wireless Sensor Networks.
Sania BhattiJie XuMohsin MemonPublished in: CIT (2010)
Keyphrases
- target tracking
- model checking
- model checker
- wireless sensor networks
- temporal logic
- data fusion
- formal verification
- kalman filter
- automated verification
- formal specification
- mean shift
- symbolic model checking
- sensor networks
- video camera
- temporal properties
- moving target
- data association
- particle filter
- formal methods
- description language
- epistemic logic
- multi sensor
- bounded model checking
- linear temporal logic
- object tracking
- transition systems
- timed automata
- alternating time temporal logic
- verification method
- concurrent systems
- set theory
- planning domains
- modal logic
- dynamic programming
- computational complexity
- reinforcement learning