文献
J-GLOBAL ID:201202202345057438
整理番号:12A1547819
不確実環境に対するバックトラック時間論理合成
Backtracking temporal logic synthesis for uncertain environments
著者 (3件):
LIVINGSTON Scott C.
(California Inst. Technol., CA)
,
MURRAY Richard M.
(California Inst. Technol., CA)
,
BURDICK Joel W.
(California Inst. Technol., CA)
資料名:
Proceedings. IEEE International Conference on Robotics and Automation
(Proceedings. IEEE International Conference on Robotics and Automation)
巻:
2012 Vol.7
ページ:
5163-5170
発行年:
2012年
JST資料番号:
T0044A
ISSN:
1050-4729
資料種別:
会議録 (C)
記事区分:
短報
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)