安全性の数学的保証

自動運転車の安全性に数学的証明を与える新手法を開発～論理的安全ルールの効率的導出により自動運転の社会受容を加速～

2022-07-07 国立情報学研究所情報・システム研究機構国立情報学研究所（NIIエヌアイアイ、所長：喜連川優、東京都千代田区）のアーキテクチャ科学研究系教授蓮尾はすお一郎いちろうらの研究チームは、科学技術振興機構（JSTジェイ...

2022-07-07

0108交通物流機械及び建設機械