ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現
| 体系的番号 |
JPMJST2213 |
| DOI |
https://doi.org/10.52926/JPMJST2213 |
研究代表者 |
蓮尾 一郎 国立情報学研究所, アーキテクチャ科学研究系, 教授
|
|---|
| 研究期間 (年度) |
2022 – 2024 (予定)
|
| 概要 | ソフトウェアの品質と安全性を解析・向上させ、顧客および社会に説明を行うＩＣＴサービスを提供するベンチャー企業設立を目指す。特に自動運転に論理学的な解析・説明技術を適用し、自動運転の社会受容と本格普及を実現する。
|
|---|
