面向策略能力的假设-保证验证
计算机科学中的逻辑
2023-10-25 v1 多智能体系统
摘要
策略能力的形式化验证是一个难题。我们提议采用假设-保证推理(assume-guarantee reasoning)的方法，以促进具有不完全信息与不完全记忆的交替时间时态逻辑的模型检测。
引用
@article{arxiv.2310.15727,
title = {Towards Assume-Guarantee Verification of Strategic Ability},
author = {Łukasz Mikulski and Wojciech Jamroga and Damian Kurpiewski},
journal= {arXiv preprint arXiv:2310.15727},
year = {2023}
}