  This document aims at describing, in a suitably precise and unambiguous
though informal way, the execution semantics of Behavior Trees as used in
Robotics applications, with particular attention to the Halt semantics.
