自律走行車のための線形時間論理仕様に基づくリスク認識型の運転制御

本論文は、線形時間論理仕様に基づいて、異なるタイプのリスクを考慮しつつ、バランスの取れた意思決定を行う新しいリスク認識型の運転制御手法を提案する。