The 2016 Formal Methods for Robotics Challenge

被引：0
|
作者：
Raman, Vasumathi
机构：
来源：
IEEE ROBOTICS & AUTOMATION MAGAZINE | 2016年 / 23卷 / 03期
关键词：
D O I：
10.1109/MRA.2016.2587958
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：24 / 25
页数：3
相关论文
共 50 条
  • [1] The 2016 Humanitarian Robotics and Automation Technology Challenge
    Prestes, Edson
    Marques, Lino
    Neuland, Renata
    Mantelli, Mathias
    Maffei, Renan
    Dogru, Sedat
    Prado, Jose
    Macedo, Joao
    Madhavan, Raj
    [J]. IEEE ROBOTICS & AUTOMATION MAGAZINE, 2016, 23 (03) : 23 - 24
  • [2] Routing - A challenge to formal methods
    Reed, JN
    Sinclair, JE
    Reed, GM
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 305 - 311
  • [3] Formal Methods for Robotics: RoboChart, RoboSim, and More
    Cavalcanti, Ana
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 3 - 6
  • [4] Robotics and Integrated Formal Methods: Necessity Meets Opportunity
    Farrell, Marie
    Luckcuck, Matt
    Fisher, Michael
    [J]. INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 161 - 171
  • [5] Automation of Humanitarian Demining The 2016 Humanitarian Robotics and Automation Technology Challenge
    Marques, Lino
    Prestes, Edson
    Dogru, Sedat
    Prado, Jose
    Macedo, Joao Pedro
    Neuland, Renata
    Mantelli, Mathias
    Maffei, Renan
    Madhavan, Raj
    [J]. 2016 INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION FOR HUMANITARIAN APPLICATIONS (RAHA), 2016, : 193 - 199
  • [6] A grand challenge proposal for formal methods: A verified stack
    Moore, JS
    [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 161 - 172
  • [7] Robotics Challenge
    Guizzo, Erico
    Pratt, Gill
    [J]. IEEE ROBOTICS & AUTOMATION MAGAZINE, 2012, 19 (03) : 128 - +
  • [8] Bringing Robotics to Formal Education
    Mondada, Francesco
    Bonani, Michael
    Riedo, Fanny
    Briod, Manon
    Pereyre, Lea
    Retornaz, Philippe
    Magnenat, Stephane
    [J]. IEEE ROBOTICS & AUTOMATION MAGAZINE, 2017, 24 (01) : 77 - 85
  • [9] Lunar Robotics Challenge
    Yoshida, Kazuya
    Wettergreen, David
    [J]. JOURNAL OF FIELD ROBOTICS, 2012, 29 (04) : 533 - 534
  • [10] The challenge of medical robotics
    Loughlin, C
    [J]. INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, 2003, 30 (01) : 6 - 6
12345