{"product_id":"ieej-dt10y071","title":"時間オートマトンによる多脚歩行ロボットの動作検証","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e部門大会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eY-71\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【D】平成22年電気学会産業応用部門大会講演論文集\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2010\/08\/23\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eMotion Verification of Multi-Legged Robot based on timed automaton\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e黄可濱 (名古屋大学),稲垣 伸吉(名古屋大学),鈴木 達也(名古屋大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eKebin Huang(Nagoya University),Shinkichi Inagaki(Nagoya University),Tatsuya Suzuki(Nagoya University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003e多脚歩行ロボット|接地点追従法|時間オートマトン|動作検証| Multi-Legged Robot|Follow-the-Contact-Point gait control|timed automaton|model check\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e1,027 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格440円\/会員価格220円） \/ A4 \/ 1","offer_id":46405506400495,"sku":"IEEJ-DT10Y071-PDF","price":440.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_5e3a656e-bf71-4eaa-bc48-0c6a50dee2f2.png?v=1745099266","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-dt10y071","provider":"電気学会 電子図書館","version":"1.0","type":"link"}