本文研究了在完全可观察、非确定性领域中使用线性时态逻辑有限轨迹表示的目标的尽力策略。提出了一种基于博弈论的技术，用于合成利用非确定性规划领域特性的尽力策略。通过实验证明了其有效性和可扩展性的提高。
完成下面两步后，将自动完成登录并继续当前操作。
