文献
J-GLOBAL ID:202002216611843633
整理番号:20A2145105
ロボティクスのための超特性:HyperLTLによる計画【JST・京大機械翻訳】
Hyperproperties for Robotics: Planning via HyperLTL
著者 (3件):
Wang Yu
(Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA,27708)
,
Nalluri Siddhartha
(Duke University,Computer Science Department,Durham,NC,USA,27708)
,
Pajic Miroslav
(Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA,27708)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
ICRA
ページ:
8462-8468
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)