Project

General

Profile

Overview

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.

Issue tracking  Details

open closed Total
Bug 0 0 0

View all issues | Summary

Repository access links

This URL has Read-Only access

Members

Project administrator: Félix Ingrand