Using SyGuS to Synthesize Reactive Motion Plans.
Sarah E. ChasinsJulie L. NewcombPublished in: SYNT@CAV (2016)
Keyphrases
- image sequences
- motion estimation
- reactive planning
- motion analysis
- motion model
- camera motion
- optical flow
- motion field
- motion tracking
- visual perception
- human motion
- motion parameters
- space time
- motion segmentation
- motion capture
- motion patterns
- computer vision
- global motion
- spatial and temporal
- agent architecture
- motion detection
- multi agent
- image motion
- moving objects
- video sequences