François Félix Ingrand

I am mostly interested in the following research fields:

• Validation and Verification for Autonomous Systems. This theme can itself be broken in two sub fields:
  • Validation and verification of Acting Skills and Behavior Trees
    This work focuses on the acting component of our architecture and propose either a new language to program skills in a formal way, but also to use a formal model of Behavior Trees:
    • ProSkill is a Procedural Skill langage to program execution/acting component for autonomous robots. This paper describes most features of the ProSkill langage. Yet, its main interest is that the programs written in this language can automatically be translated in an equivalent Fiacre formal model, which can then be used with the Tina toolbox (to prove some formal properties using model checking), but also with the Hippo engine to execute the equivalent formal model of the program. ProSkill code repository and documentation are here: https://redmine.laas.fr/projects/proskill
    • BT2Fiacre takes a Behavior Tree (BT) as input and produces an equivalent Fiacre formal model, which can then be used with the Tina toolbox (to prove some formal properties using model checking), but also with the Hippo engine to execute the equivalent formal model of the BT. BT2Fiacre code repository, documentation, and examples can be found here: https://redmine.laas.fr/projects/bt2fiacre
  • Validation and Verification of functional components
    This work is more focused on the functional components of our architecture and how we can deploy verification as well as runtime verification while developing these components.
    • This paper sums up this work.
    • Check the experiments section for more detailed presentations of our work. As for papers you can check the following ones:
    • Hippo paper describing how we automatically synthesize the Fiacre and H-Fiacre models of a robotic experiment and then run the experiment with the Hippo Engine. https://hal.laas.fr/hal-03017661v4
    • A chapter in the Robosoft book: https://hal.laas.fr/hal-02927311v3
    • An older RAS paper https://hal.laas.fr/hal-01980036
    • An old IEEE RA Magazine paper and a JOSER paper describing the now outdated GenoM/BIP approach.

• AI Planning and Acting