We study a variant of LTLf synthesis that synthesizes adaptive strategies for achieving a multi-tier goal, consisting of multiple increasingly challenging LTLf objectives in nondeterministic planning domains. Adaptive strategies are strategies that at any point of their execution (i) enforce the satisfaction of as many objectives as possible in the multi-tier goal, and (ii) exploit possible cooperation from the environment to satisfy as many as possible of the remaining ones. This happens dynamically: if the environment cooperates (ii) and an objective becomes enforceable (i), then our strategies will enforce it. We provide a game-theoretic technique to compute adaptive strategies that is sound and complete. Notably, our technique is polynomial, in fact quadratic, in the number of objectives. In other words, it handles multi-tier goals with only a minor overhead compared to standard LTLf synthesis.

本文研究了LTLf合成的一种变体，旨在为非确定性规划领域中的多层次目标合成自适应策略。提出的自适应策略动态地调整以满足尽可能多的目标，并利用环境的合作来实现更多目标，所用的博弈论技术在目标数量上是二次多项式复杂度，这使得相较于标准LTLf合成，处理多层次目标的开销非常小。

针对非确定性领域中的多层次目标的LTLf自适应合成