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 条
  • [31] Advancing Robotics: The Urban Challenge Effect
    Satterfield, Brian
    Choxi, Heeten
    Salamon, Adam
    Drewes, Peter
    [J]. JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2008, 5 (12): : 530 - 542
  • [32] Humanitarian demining and robotics - a difficult challenge
    Baudoin, Y
    Colon, E
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON CLIMBING AND WALKING ROBOTS, CLAWAR 99, 1999, : 911 - 921
  • [33] The Zero Robotics SPHERES Challenge 2010
    Saenz-Otero, Alvar
    Katz, Jacob
    Mwijuka, Alvin T.
    [J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2011, 26 (07) : 4 - 17
  • [34] Special Issue on Autonomous Robotics Challenge
    Ohya, Akihisa
    Ozaki, Koichi
    Takubo, Tomohito
    Yuta, Shin'ichi
    Takita, Yoshihiro
    [J]. JOURNAL OF ROBOTICS AND MECHATRONICS, 2023, 35 (06) : 1405 - 1405
  • [35] JAPANESE ROBOTICS - CHALLENGE AND LIMITED EXEMPLAR
    LYNN, L
    [J]. ANNALS OF THE AMERICAN ACADEMY OF POLITICAL AND SOCIAL SCIENCE, 1983, 470 (NOV): : 16 - 27
  • [36] Robotics Innovation Challenge - an event focusing on opportunities and challenges within robotics
    不详
    [J]. INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, 2013, 40 (02) : 187 - 187
  • [37] Magnetic Methods in Robotics
    Abbott, Jake J.
    Diller, Eric
    Petruska, Andrew J.
    [J]. ANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 3, 2020, 2020, 3 : 57 - 90
  • [38] Verify This: Memcached-A Practical Long-Term Challenge for the Integration of Formal Methods
    Ernst, Gidon
    Weigl, Alexander
    [J]. INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 82 - 89
  • [39] Formal methods
    Lowe, M
    [J]. FIRST EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1997, : 43 - 43
  • [40] Perception and estimation challenges for humanoid robotics: DARPA Robotics Challenge and the NASA Valkyrie
    Fallon, Maurice
    [J]. UNMANNED/UNATTENDED SENSORS AND SENSOR NETWORKS XII, 2016, 9986
12345