Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles.

Cumhur Erkan Tuncali Theodore P. Pavlic Georgios Fainekos

Published in: ITSC (2016)

Keyphrases

test generation
autonomous vehicles
database
training data
multi agent
real time
data sets
database systems
autonomous agents
symbolic execution