Grounding LTLf Specifications in Image Sequences.
Elena UmiliRoberto CapobiancoGiuseppe De GiacomoPublished in: KR (2023)
Keyphrases
- image sequences
- motion analysis
- spatio temporal
- delay insensitive
- motion estimation
- moving objects
- structure from motion
- video sequences
- motion parameters
- optical flow
- motion model
- specification language
- formal specification
- object tracking
- computer vision
- background subtraction
- three dimensional
- motion field
- human motion
- flow field
- object detection
- high level
- optic flow
- database
- robust motion estimation
- camera motion
- feature points
- image frames
- human gait
- estimation of optical flow
- image sequences acquired