arXiv:2408.00090v2 宣告类型: replace-cross 摘要: 行为树(BTs)由于其吸引人的特性，易于使用作为控制策略的概念模型，以及可用于基于行为树设计控制软件的软件工具，已经在机器人技术中得到了广泛的应用。然而，行为树没有正式的执行语义，而且不同实现中的微妙差异可能导致相同的模型因底层软件的不同而表现出不同的行为。本文旨在定义机器人应用中使用的行为树的执行语义。为此，我们提出了一种抽象数据类型，该类型形式化了行为树的结构和执行。虽然我们的形式化受到了科学文献中现有贡献和先进实现的启发，但我们力求为大多数其他工作中处理不完整或不一致的特性提供明确的处理。