Behavior Trees for Smart Robots Practical Guidelines for Robot Software Development

Figure 5

Pre- and post-condition defined.