Login / Signup
Silvain Louis
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Preprocessing
Support Vector Machine Svm
Indoor Environments
High Precision
Top Venues
TAROS
</>
Publications
</>
Silvain Louis
,
Karen Godary-Dejean
,
Lionel Lapierre
,
Thomas Claverie
,
Sébastien Villéger
Formal Method for Mission Controller Generation of a Mobile Robot.
TAROS
(2017)