可采纳性优于获胜：机器人反应式综合的新方法

反应式综合是一个用于在机器人技术中建模和自动综合策略的框架，通常通过计算机器人与环境之间的双人博弈中的获胜策略来实现。然而，即使在一些简单情况下，获胜策略也并非总是存在。在这种情况下，机器人仍然希望尝试其任务，而不是“放弃”。在这项工作中，我们探索了可采纳性的概念，以定义超越获胜的策略，并专门针对机器人系统进行定制。我们引入了一种可采纳策略的排序，并定义了可采纳理性策略，该策略旨在在可能时获胜和合作，在必要时不违反和充满希望。我们提出了一种高效的综合算法，并通过案例研究证明，可采纳理性策略能产生理想的行为。