@article{rohou:hal-01516228,
  TITLE = {{Guaranteed computation of robot trajectories}},
  AUTHOR = {Rohou, Simon and Jaulin, Luc and Mihaylova, Lyudmila and Le Bars, Fabrice and Veres, Sandor M},
  URL = {https://hal.science/hal-01516228},
  JOURNAL = {{Robotics and Autonomous Systems}},
  PUBLISHER = {{Elsevier}},
  VOLUME = {93},
  PAGES = {76 - 84},
  YEAR = {2017},
  MONTH = Jul,
  DOI = {10.1016/j.robot.2017.03.020},
  KEYWORDS = {guaranteed integration ; tube programming ; mobile robotics ; constraints ; contractors ; ODE},
  PDF = {https://hal.science/hal-01516228/file/tubint_paper.pdf},
  HAL_ID = {hal-01516228},
  HAL_VERSION = {v1},
}