该研究提出了一种基于线性时态逻辑的可查询安全约束模块，用于机器人代理的合规性。实验证明该系统适用于复杂的安全约束，具备实际应用潜力。

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