Verification of resource-bounded multi-agent systems
Verification of resource-bounded multi-agent systems
资源有限多智能体系统的验证
批准号：
EP/K033921/1
负责人：
Franco Raimondi
金额：
$4.0万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2013
资助国家：
英国
项目状态：
已结题
起止时间：
2013 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1016/j.dam.2017.03.013
发表时间：
2015-10
期刊：
Discret. Appl. Math.
影响因子：
--
作者：
[Barnaby Martin;F. Raimondi;Taolue Chen;Jos Martin]
通讯作者：
Barnaby Martin;F. Raimondi;Taolue Chen;Jos Martin
DOI：
10.1016/j.comcom.2016.03.016
发表时间：
2016-09
期刊：
Comput. Commun.
影响因子：
--
作者：
[G. Barbon;M. Margolis;Filippo Palumbo;F. Raimondi;Nick Weldin]
通讯作者：
G. Barbon;M. Margolis;Filippo Palumbo;F. Raimondi;Nick Weldin
Symbolic Model Checking for One-Resource RB+-ATL
单资源 RB -ATL 的符号模型检查
单资源 RB -ATL 的符号模型检查
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Alechina, N.]
通讯作者：
Alechina, N.
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
技术报告：资源生产和消耗资源有限 ATL 的模型检查
技术报告：资源生产和消耗资源有限 ATL 的模型检查
DOI：
10.48550/arxiv.1504.06766
发表时间：
2015
期刊：
影响因子：
--
作者：
[Alechina N]
通讯作者：
Alechina N
Symbolic Model-checking for Resource-Bounded ATL
资源有限 ATL 的符号模型检查
资源有限 ATL 的符号模型检查
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Alechina N.]
通讯作者：
Alechina N.
共 9 条
国内基金
海外基金
协同中继系统跨层资源分配与优化调度的理论及方法
-
批准号：60972070
-
项目类别：面上项目
-
资助金额：33.0万元
-
批准年份：2009
-
负责人：陈前斌
-
依托单位：
横断山区淡水三肠目涡虫资源及分类学研究
-
批准号：30670247
-
项目类别：面上项目
-
资助金额：27.0万元
-
批准年份：2006
-
负责人：陈广文
-
依托单位：