François Felix Ingrand » bt2fiacre

Behavior Trees are becoming more and more popular in robotics. Let see what kind of formal V\&V we can consider by translating them to Fiacre, to get TTS and run some model checking, or run the real experiment with Hippo.
See the example directory for examples.
To install it:
git clone git://redmine.laas.fr/laas/users/felix/bt2fiacre.git
Check the:
README.adoc or README.html
Check the Documentation tab above for more information and results.