Guaranteed computation of robot trajectories. - Simon Rohou; Luc Jaulin; Lyudmila Mihaylova; Fabrice Le Bars; Sandor M. Veres (Robotics Auton. Syst., 2017)

Reliable robot localization: a constraint programming approach over dynamical systems. (Localisation fiable de robots : une approche de programmation par contraintes sur des systèmes dynamiques). - Simon Rohou (2017)

Reliable non-linear state estimation involving time uncertainties. - Simon Rohou; Luc Jaulin; Lyudmila Mihaylova; Fabrice Le Bars; Sandor M. Veres (Autom., 2018)

Proving the existence of loops in robot trajectories. - Simon Rohou; Peter Franek; Clément Aubry; Luc Jaulin (Int. J. Robotics Res., 2018)

Towards a Generic Interval Solver for Differential-Algebraic CSP. - Simon Rohou; Abderahmane Bedouhene; Gilles Chabert; Alexandre Goldsztejn; Luc Jaulin; Bertrand Neveu; Victor Reyes; Gilles Trombettoni (CP, 2020)

Set-membership state estimation by solving data association. - Simon Rohou; Benoît Desrochers; Luc Jaulin (ICRA, 2020)

Exact bounded-error continuous-time linear state estimator. - Simon Rohou; Luc Jaulin (Syst. Control. Lett., 2021)

Lie symmetries applied to interval integration. - Julien Damers; Luc Jaulin; Simon Rohou (Autom., 2022)

Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application. - Andreas Rauh; Marit Lahme; Simon Rohou; Luc Jaulin; Thach Ngoc Dinh; Tarek Raïssi; Mohamed Fnadi (CoRR, 2023)

Brunovsky Decomposition for Dynamic Interval Localization. - Simon Rohou; Luc Jaulin (IEEE Trans. Autom. Control., 2023)

The Codac Library. - Simon Rohou; Benoît Desrochers; Fabrice Le Bars (Acta Cybern., 2024)