A Case Study on Formally Validating Motion Rules for Autonomous Cars.
Mário Henrique Cruz TorresJean Pierre GiacaloneJoelle Abou FaysalPublished in: SEFM (2020)
Keyphrases
- autonomous navigation
- optical flow
- motion analysis
- image sequences
- space time
- motion estimation
- case study
- cooperative
- motion model
- spatial and temporal
- motion tracking
- motion parameters
- motion field
- test bed
- image motion
- motion patterns
- motion segmentation
- human motion
- camera motion
- motion planning
- static images
- autonomous learning
- configuration space
- video sequences
- spatio temporal
- rigid motion
- object motion
- dynamic environments
- ego motion
- optic flow
- motion capture
- visual cues
- production rules
- association rule mining
- dynamic scenes
- robotic systems
- rule sets