文献
J-GLOBAL ID:201702261772567845
整理番号:17A0981345
モデル検査に基づく多脚ロボットのためのパラメータ空間の切り出し
Cutting a Parameter Space for a Multi-Legged Robot Based on Model Checking
著者 (2件):
NOMURA Keisuke
(Department of Mechanical Science and Engineering, Graduate School of Engineering, Nagoya University)
,
INAGAKI Shinkichi
(Department of Mechanical Science and Engineering, Graduate School of Engineering, Nagoya University)
資料名:
SICE Journal of Control, Measurement, and System Integration
(SICE Journal of Control, Measurement, and System Integration)
巻:
10
号:
4
ページ:
317-323(J-STAGE)
発行年:
2017年
JST資料番号:
L7831A
ISSN:
1882-4889
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)