Behavior trees, state machines and mission planning.
Hierarchical state machines with a graphical editor and runtime monitoring.