Automatic Verification of Distributed Mobile Robot Algorithms
Automatic Verification of Distributed Mobile Robot Algorithms
分布式移动机器人算法自动验证
批准号：
26870228
负责人：
BONNET Francois
金额：
$1.16万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1016/j.tcs.2015.10.019
发表时间：
2014-10
期刊：
影响因子：
--
作者：
[François Bonnet;X. Défago;Thanh Dang Nguyen;M. Potop-Butucaru]
通讯作者：
François Bonnet;X. Défago;Thanh Dang Nguyen;M. Potop-Butucaru
Nash Equilibrium in Mastermind
《Mastermind》中的纳什均衡
《Mastermind》中的纳什均衡
DOI：
--
发表时间：
2016
期刊：
Proceedings of the 8th International Conference on Computers and Games
影响因子：
--
作者：
[Francois Bonnet, Simon Viennot]
通讯作者：
Simon Viennot
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
发现和评估机器人网络协议中的细粒度指标
发现和评估机器人网络协议中的细粒度指标
DOI：
10.1109/srdsw.2014.34
发表时间：
2014
期刊：
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops
影响因子：
--
作者：
[Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sebastien Tixeuil]
通讯作者：
Sebastien Tixeuil
DOI：
--
发表时间：
2016
期刊：
Proceedings of the 14th International Conference on Ad-hoc, Mobile, and Wireless Networks
影响因子：
--
作者：
[Francois Bonnet, Maria Potop-Butucaru, Sebastien Tixeuil]
通讯作者：
Sebastien Tixeuil
Mitigating the Spread of a Virus in the Internet
减少病毒在互联网上的传播
减少病毒在互联网上的传播
DOI：
10.1109/srdsw.2014.26
发表时间：
2014
期刊：
2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW)
影响因子：
--
作者：
[T. D. Nguyen, F. Bonnet, X. Defago]
通讯作者：
X. Defago
海外基金