Towards Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors

被引：0
|
作者：
Raman, Vasumathi [1 ]
Kress-Gazit, Hadas [2 ]
机构：
[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA
[2] Cornell Univ, Sibley Sch Mech & Aerosp Engn, Ithaca, NY 14853 USA
来源：
2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) | 2013年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
High-level robot control has recently seen the application of formal methods to the automatic synthesis of correct-by-construction controllers from user-defined specifications. When a specification fails to yield a corresponding controller, existing techniques provide feedback on portions of the specification that cause the failure, but at a coarse granularity. This work provides techniques for extracting minimal explanations of such failures. The approach is shown to provide refinement of the feedback on several example specifications.
引用
收藏
页码：757 / 762
页数：6
相关论文
共 50 条
  • [1] Explaining Impossible High-Level Robot Behaviors
    Raman, Vasumathi
    Kress-Gazit, Hadas
    IEEE TRANSACTIONS ON ROBOTICS, 2013, 29 (01) : 94 - 104
  • [2] Automated Feedback For Unachievable High-Level Robot Behaviors
    Raman, Vasumathi
    Kress-Gazit, Hadas
    2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 5156 - 5162
  • [3] Resilient, Provably-Correct, and High-Level Robot Behaviors
    Wong, Kai Weng
    Ehlers, Ruediger
    Kress-Gazit, Hadas
    IEEE TRANSACTIONS ON ROBOTICS, 2018, 34 (04) : 936 - 952
  • [4] Towards high-level, verifiable autonomous behaviors with temporal specifications
    Wang, Ju
    Pandit, Sagar
    PROCEEDINGS OF THE 2019 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2019, : 92 - 99
  • [5] Analyzing and Revising High-Level Robot Behaviors Under Actuator Error
    Johnson, Benjamin
    Kress-Gazit, Hadas
    2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 741 - 748
  • [6] High-Level Why-Not Explanations using Ontologies
    ten Cate, Balder
    Civili, Cristina
    Sherkhonov, Evgeny
    Tan, Wang-Chiew
    PODS'15: PROCEEDINGS OF THE 33RD ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2015, : 31 - 43
  • [7] A HIGH-LEVEL APPROACH TO PROGRAMMING A ROBOT
    WANG, NS
    DAVIES, BJ
    INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 1987, 27 (01): : 57 - 63
  • [8] High-Level Description of Robot Architecture
    Al-Fedaghi, Sabah
    AlSaraf, Manar
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2020, 11 (10) : 258 - 267
  • [9] A Closer Look at Reward Decomposition for High-level Robotic Explanations
    Lu, Wenhao
    Zhao, Xufeng
    Magg, Sven
    Gromniak, Martin
    Li, Mengdi
    Wermter, Stefan
    2023 IEEE INTERNATIONAL CONFERENCE ON DEVELOPMENT AND LEARNING, ICDL, 2023, : 429 - 436
  • [10] Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations
    Raman, Vasumathi
    Piterman, Nir
    Kress-Gazit, Hadas
    2013 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2013, : 4075 - 4081
12345