Filtres de sécurité en espace des croyances pour la robotique interactive certifiée

Les robots autonomes interagissant avec des humains doivent gérer l'incertitude sur les préférences et intentions de ces derniers. Le filtre de sécurité en espace des croyances (BeliefSF) réduit cette incertitude en ligne, mais fournir des garanties formelles reste difficile en raison des erreurs d'inférence et d'approximation neuronale. Les auteurs proposent d'utiliser la prédiction conforme pour certifier la sécurité à haute probabilité, en ciblant la vérification sur les régions où l'inférence est fiable.