Automatic Verification of Distributed Mobile Robot Algorithms

分布式移动机器人算法自动验证

基本信息

项目摘要

项目成果

期刊论文数量（7）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Tight bound on mobile Byzantine Agreement
  • DOI：
    10.1016/j.tcs.2015.10.019
  • 发表时间：
    2014-10
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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》中的纳什均衡
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
发现和评估机器人网络协议中的细粒度指标
Asynchronous Gathering in Rings with 4 Robots
4个机器人环异步采集
Mitigating the Spread of a Virus in the Internet
减少病毒在互联网上的传播
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

BONNET Francois其他文献

BONNET Francois的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

CAREER: Green Functions as a Service: Towards Sustainable and Efficient Distributed Computing Infrastructure
职业：绿色功能即服务：迈向可持续、高效的分布式计算基础设施
  • 批准号：
    2340722
  • 财政年份：
    2024
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Continuing Grant
Towards Distributed Computing on a Quantum Network
迈向量子网络上的分布式计算
  • 批准号：
    2906416
  • 财政年份：
    2024
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Studentship
Collaborative Research: CyberTraining: Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究：网络培训：实施：中：为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号：
    2321017
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究：网络培训：实施：中：为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号：
    2321020
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究：网络培训：实施：中：为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号：
    2321016
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究：网络培训：实施：中：为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号：
    2321019
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
Collaborative Research: CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究：网络培训：实施：中：为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号：
    2321015
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究：网络培训：实施：中：为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号：
    2321018
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
Travel: NSF Student Travel Support for 2023 ACM Symposium on High-Performance Parallel and Distributed Computing (ACM HPDC)
旅行：NSF 学生为 2023 年 ACM 高性能并行和分布式计算研讨会 (ACM HPDC) 提供旅行支持
  • 批准号：
    2326506
  • 财政年份：
    2023
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
NSF Student Travel Support for 2022 ACM Symposium on High-Performance Parallel and Distributed Computing (ACM HPDC)
NSF 学生为 2022 年 ACM 高性能并行和分布式计算研讨会 (ACM HPDC) 提供旅行支持
  • 批准号：
    2230513
  • 财政年份：
    2022
  • 资助金额：
    $ 1.16万
  • 项目类别：
    Standard Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了