Spanda

Agents

Agents declare autonomous goals inside a robot block:

robot Rover {
  agent navigator {
    goal: "reach charging dock safely";
  }
}

See concurrency.md and triggers.md.