Formalization of Timely Dataflow's Progress Tracking Protocol.
Matthias BrunSára DecovaAndrea LattuadaDmitriy TraytelPublished in: Arch. Formal Proofs (2021)
Keyphrases
- real time
- formal analysis
- particle filter
- lightweight
- motion tracking
- visual tracking
- robust tracking
- object tracking
- kalman filter
- appearance model
- decision making
- data flow
- particle filtering
- moving target
- motion model
- deformable objects
- distributed databases
- multi agent systems
- authentication protocol
- application layer