机构名称：
¥ 1.0
非确定性策略是指在给定博弈历史的情况下，分配一组可能采取的行动（或协议或计划）的策略，这些行动都应该是获胜的。一个重要的问题是改进此类策略。例如，给定一个仅允许安全执行的非确定性策略，对其进行改进，最终达到期望的状态。我们表明，涉及策略改进的战略问题可以在战略逻辑 (SL) 框架中得到优雅的解决，这是一种非常富有表现力的推理战略能力的逻辑。具体来说，我们引入了具有非确定性策略的 SL 扩展和一个表达策略改进的运算符。我们表明，与标准 SL 相比，模型检查此逻辑可以在不增加计算成本的情况下完成，并且可用于解决各种问题，例如最大允许策略或最大允许纳什均衡的合成。
不确定性策略及其在策略逻辑中的细化
主要关键词
相关文件推荐
