STV+AGR:利用假设-保证推理实现战略能力的实际验证

摘要:策略综合和战略能力验证工具STV的扩展版:面向多代理系统的假设-保证验证和Web界面支持

作者:Damian Kurpiewski, {L}ukasz Mikulski, Wojciech Jamroga

论文ID:2203.01033

分类:Multiagent Systems

分类简称:cs.MA

提交时间:2022-03-03

PDF 下载: 英文版 中文版pdf翻译中