|
||
---|---|---|
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-02435019v1
Ouvrage (y compris édition critique et traduction)
Reliable Robot Localization: A Constraint-programming Approach over Dynamical Systems ISTE Ltd and John Wiley & Sons Inc, 2019, 978-1-84821-970-0. ⟨10.1002/9781119680970⟩ |
||
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⟩ |
||
|