arXiv:2504.20983v1 宣告类型: 新 摘要: 我们研究了一种LTLf合成的变体，该变体为在非确定性规划领域实现一个由多个日益具有挑战性的LTLf目标组成的多层次目标合成适应性策略。适应性策略是在其执行的任何点上（i）尽可能满足多层次目标中的多个目标，并且（ii）利用环境可能的合作来满足剩余目标中的尽可能多的目标。这种动态发生：如果环境合作（ii）且一个目标变得可强制执行（i），那么我们的策略将强制执行它。我们提供了一种博弈论技术来计算适应性策略，并且该技术是安全且完备的。值得注意的是，该技术在目标的数量上是多项式的，实际上是平方级的。换句话说，与标准的LTLf合成相比，它处理多层次目标时仅需要较小的额外开销。