@inproceedings{lefort:hal-01867181,
  TITLE = {{Autopilot for a marine vessel : a formal proff of robustness and optimal control based on an uncertain model}},
  AUTHOR = {Lefort, Alexandre and Clement, Benoit and Dal Santo, X.},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01867181},
  BOOKTITLE = {{13th national conference on Software and Hardware Architectures for Robots Control (SHARC 2018)}},
  ADDRESS = {Saint-Tropez, France},
  ORGANIZATION = {{Naval Group}},
  YEAR = {2018},
  MONTH = Jun,
  HAL_ID = {hal-01867181},
  HAL_VERSION = {v1},
}