摘要：策略综合和战略能力验证工具STV的扩展版：面向多代理系统的假设-保证验证和Web界面支持
作者：Damian Kurpiewski, {L}ukasz Mikulski, Wojciech Jamroga
论文ID：2203.01033
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2022-03-03
PDF 下载： 英文版 中文版pdf翻译中