Login / Signup
Formal Method for Mission Controller Generation of a Mobile Robot.
Silvain Louis
Karen Godary-Dejean
Lionel Lapierre
Thomas Claverie
Sébastien Villéger
Published in:
TAROS (2017)
Keyphrases
</>
mobile robot
real time
pairwise
high precision
similarity measure
experimental evaluation
high accuracy
detection method
data sets
optimal control
computational cost
support vector machine svm
indoor environments
segmentation method
support vector machine
probabilistic model
preprocessing
objective function