Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- ground vehicles
- vehicle detection
- real time
- obstacle detection
- road traffic
- vehicle tracking
- model checking
- moving vehicles
- machine learning
- abstract interpretation
- autonomous vehicles
- data sets
- traffic scenes
- source code
- software engineering
- travel time
- traffic flow
- path planning
- object oriented
- malicious behavior
- training data
- real world