ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
高信頼自動運転システムのための先進的研究
数理的理論から，AI 協働，ソフトウェアプラットフォームへ
2019年5月21日（火）
TKP築地新富町カンファレンスセンター（東京都中央区）
本ページでは以下の講演で用いたスライドを配布しております。(2019/05/21 15:46更新)
  1. ERATO MMSDプロジェクト紹介： 物理情報システム品質保証のための包括的学術研究
    蓮尾 一郎
    国立情報学研究所，ERATO MMSDプロジェクト研究総括
  2. 自動運転システム開発プロジェクト Autonomoose： 高信頼自動運転システムへのソフトウェア工学的取り組み (222MB)
    Krzysztof Czarnecki
    Waterloo大学，ERATO MMSDプロジェクト グループ２リーダー，Autonomoose プロジェクトリーダー
  3. 高信頼自動運転システム実現にむけて： ソフトウェア工学・機械学習の視点からの技術俯瞰
    石川 冬樹
    国立情報学研究所，ERATO MMSDプロジェクト グループ３リーダー
  4. 高信頼自動運転システム実現にむけて： ソフトウェア科学・形式手法・数理的基盤の視点からの技術俯瞰
    蓮尾 一郎
    国立情報学研究所，ERATO MMSDプロジェクト 研究総括