notesum.ai

Published at November 21

Cross--layer Formal Verification of Robotic Systems

cs.RO

Released Date: November 21, 2024

Authors: Sylvain Raïs1, Julien Brunel1, David Doose1, Frédéric Herbreteau2

Aff.: 1ONERA DTIS, Université de Toulouse, France; 2Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, 33400, Talence, France

Arxiv: http://arxiv.org/abs/2411.14373v1