Bourgois, A. et al. 2023. Proving the Stability of the Rolling Navigation. Acta Cybernetica. 26, 1 (Feb. 2023), 5–34. DOI:https://doi.org/10.14232/actacyb.295941.