Bourgois Auguste; Chaabouni Amine; Rauh Andreas; Jaulin Luc: Proving the stability of the rolling navigation. In: Acta cybernetica, (26) 1. pp. 5-34. (2023)
Rauh Andreas; Bourgois Auguste; Jaulin Luc: Verifying provable stability domains for discrete-time systems using ellipsoidal state enclosures. In: Acta cybernetica, (26) 2. pp. 267-291. (2023)