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 条

[31] Constraint Lingo: towards high-level constraint programming
Finkel, R
Marek, VW
Truszczynski, M
SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (15): : 1481 - 1504
[32] Towards High-Level Intrinsic Exploration in Reinforcement Learning
Bougie, Nicolas
Ichise, Ryutaro
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 5186 - 5187
[33] TOWARDS AMALGAMATING HIGH-LEVEL SYNTHESIS AND PROOF SYSTEMS
LARSSON, M
MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 909 - 912
[34] Towards Layout-Friendly High-Level Synthesis
Cong, Jason
Liu, Bin
Luo, Guojie
Prabhakar, Raghu
ISPD 12: PROCEEDINGS OF THE 2012 INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2012, : 165 - 172
[35] Towards Automatic High-Level Code Deployment on Reconfigurable Platforms: A Survey of High-Level Synthesis Tools and Toolchains
Numan, Mostafa W.
Phillips, Braden J.
Puddy, Gavin S.
Falkner, Katrina
IEEE ACCESS, 2020, 8 : 174692 - 174722
[36] Towards an automatic diagnosis for high-level design validation
Khalil, M
Le Traon, Y
Robach, C
INTERNATIONAL TEST CONFERENCE 1998, PROCEEDINGS, 1998, : 1010 - 1018
[37] Towards High-Level Programming for Systems with Many Cores
Gorlatch, Sergei
Steuwer, Michel
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 111 - 126
[38] A Study on High-Level Autonomous Navigational Behaviors for Telepresence Applications
Pang, Wee Ching
Seet, Gerald
Yao, Xiling
PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, 2014, 23 (02) : 155 - 171
[39] Learning Low-Level Behaviors and High-Level Strategies in Humanoid Soccer
Simoes, David
Amaro, Pedro
Silva, Tiago
Lau, Nuno
Reis, Luis Paulo
FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 2, 2020, 1093 : 537 - 548
[40] USING ENGLISH AS A HIGH-LEVEL ROBOT COMMAND-LANGUAGE
BOCK, P
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1983, 30 (03) : 305 - 309

← 1 2 3 4 5 →