ProSkill
Résumé
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 langage 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.