|
||
---|---|---|
hal-01904112v1
Article dans une revue
Proving the existence of loops in robot trajectories The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩ |
||
hal-01516228v1
Article dans une revue
Guaranteed computation of robot trajectories Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩ |
||
hal-01778187v1
Article dans une revue
Reliable non-linear state estimation involving time uncertainties Automatica, Elsevier, 2018, 93, pp.379-388. ⟨10.1016/j.automatica.2018.03.074⟩ |
||
hal-02280704v1
Article dans une revue
Calcul par intervalles pour la robotique mobile intelligente Lab-STICC Bulletin de l'Association Française pour l'Intelligence Artificielle, AFIA, 2019, pp.9-10 |
||
tel-03010085v1
Thèse
Reliable robot localization: a constraint programming approach over dynamical systems Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English |
||
hal-02904517v1
Communication dans un congrès
Set-membership state estimation by solving data association IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France |
||
hal-02956402v1
Communication dans un congrès
Towards a Generic Interval Solver for Differential-Algebraic CSP International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩ |
||
|