Login / Signup
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification.
Greg Chance
Abanoub Ghobrial
Séverin Lemaignan
Tony Pipe
Kerstin Eder
Published in:
CoRR (2019)
Keyphrases
</>
test generation
autonomous vehicles
symbolic execution
test cases
path planning
obstacle avoidance
design automation
static analysis
robot control
software testing
quality assurance
multiagent systems
real time
autonomous agents
mobile robot
artificial intelligence
software development
machine learning