验证资源型代理的系统

工具

娜塔莎·亚历奇纳和布赖恩·洛根(2016)验证资源型代理的系统。计算机科学课堂讲稿，9709.第3-12页。国际标准刊号0302-9743

此存储库中没有全文。

摘要

多智能体系统的验证方法通常基于根据状态和动作定义的游戏或过渡系统。然而，这种方法往往忽略了多智能体系统的一个关键方面，即智能体的动作需要（有时会产生）资源。我们简要回顾了以前在考虑资源的多代理系统验证方面的工作，并概述了未来工作的一些关键挑战。

项目类型： 第条
RIS ID： https://nottingham-repository.worktribe.com/output/795188
其他信息： 最终出版物可在Springer通过http://dx.doi.org/10.1007/978-3-319-40189-8_1。部分内容：2016年6月27日至7月1日，法国巴黎，第12届欧洲可计算性会议，会议记录。
学校/部门： 英国诺丁汉大学>科学学院>计算机科学学院
识别号： https://doi.org/10.1007/978-3-319-40189-8_1
存款用户： 印记，支持
存款日期： 2016年6月28日10:19
上次修改时间： 2020年5月4日17:56
URI（URI）： https://eprints.nottingham.ac.uk/id/eprint/34430

行动（仅存档员工）

编辑视图 编辑视图