文献

J-GLOBAL ID：201902256521539085   整理番号：19A2565722

認識可能な自律ロボットエージェントのための計画の形式的検証に向けて【JST・京大機械翻訳】

Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents

著者 (5件)： Meywerk Tim (University of Bremen) ,  Walter Marcel (University of Bremen) ,  Herdt Vladimir (University of Bremen) ,  GroBe Daniel (University of Bremen and DFKI GmbH) ,  Drechsler Rolf (University of Bremen and DFKI GmbH)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： DSD  ページ： 129-136  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,人間の環境において日常的な操作活動を実行する,認識可能な自律ロボットの計画を検証するための最初のアプローチを提案した。著者らの方法論は,1つの共同形式モデルにおける計画,環境,およびロボット信念状態を表現するために使用される新しい中間計画検証言語(IPVL)に基づいている。IPVLのための記号実行エンジンを考案し,事例研究における全体的検証方法論の有効性を示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *自律ロボット ,  事例研究 ,  有効性 ,  *エージェント ,  *ロボット ,  言語
準シソーラス用語： 形式モデル ,  形式的検証 , 【Automatic Indexing@JST】

分類 (1件)： ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (4件)： 自律ロボット ,  エージェント ,  計画 ,  形式的検証