文献

J-GLOBAL ID：202102246798176004   整理番号：21A0270735

時相論理における状態間トラフィックルールの形式化【JST・京大機械翻訳】

Formalization of Interstate Traffic Rules in Temporal Logic

著者 (4件)： Maierhofer Sebastian (Technical University of Munich,Department of Informatics,Garching,Germany,85748) ,  Rettinger Anna-Katharina (Technical University of Munich,Department of Informatics,Garching,Germany,85748) ,  Mayer Eva Charlotte (Technical University of Munich,Department of Informatics,Garching,Germany,85748) ,  Althoff Matthias (Technical University of Munich,Department of Informatics,Garching,Germany,85748)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： IV  ページ： 752-759  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自律車両が交通に安全に参加し,自動車メーカーの責任請求を避けるため,自律車両は交通規則に従う必要がある。しかし,現在の交通規則は正確で数学的方法で定式化されないので,自律車両に直接適用できない。さらに,国家交通法以外のいくつかの法的発生源は,詳細な交通規則を推論するために考慮されなければならない。したがって,ドイツの道路交通規制,道路交通に関するウィーン Convention,および裁判からの法的決定に基づいて,交通規則を定式化した。これは,交通規則が自律車両によって満たされているかどうかを自動かつ明確にチェックすることを可能にする。時間的論理を用いて,数学的に得られた規則を表現した。2,500以上の車両に関する記録データに対して,形式化された交通規則を評価した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動車 ,  道路交通 ,  ドイツ連邦共和国 ,  生産者 ,  時間論理 ,  *定式化
準シソーラス用語： 自律性 ,  裁判 ,  ウィーン ,  発生源 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 時相論理 ,  トラフィック ,  ルール ,  形式化