An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.

Martin Hilscher Sven Linker Ernst-Rüdiger Olderog Anders P. Ravn

Published in: ICFEM (2011)

Keyphrases

computational model
mathematical model
statistical model
high level
prior knowledge
neural network model
formal model
learning algorithm
multiscale
multi agent
cost function
probabilistic model
theoretical analysis
parameter estimation