BT2Fiacre (Behavior Tree 2 Fiacre) - LAAS-Robotique
Logiciel Année : 2024

BT2Fiacre (Behavior Tree 2 Fiacre)

Félix Ingrand

Résumé

The BT2Fiacre tool 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.

Dates et versions

hal-04720141 , version 1 (03-10-2024)

Identifiants

  • HAL Id : hal-04720141 , version 1

Citer

Félix Ingrand. BT2Fiacre (Behavior Tree 2 Fiacre). 2024. ⟨hal-04720141⟩
0 Consultations
0 Téléchargements

Partager

More