コンテンツへスキップ

ERATO Metamathematics for Systems Design Project

ERATO 蓮尾メタ数理システムデザインプロジェクト

このページは JST サーバ内の公式ウェブページの補遺情報をまとめたものです．

Language

English
日本語
中文

トップページ
プロジェクトについて
メンバー
採用情報
- 大学院生募集
論文
学位論文
イベント
- シンポジウム：高信頼自動運転システムのための先進的研究
- ERATO MMSD 自動車産業応用セミナー（メンバーのみ）
アクセス・連絡先

検索

検索:

最近の投稿

Distinguished paper award 受賞
3報の論文が CAV 2023 に採択
自動運転車の安全性の数学的証明についての雑誌記事公開
採用情報
自動運転車の安全性に数学的証明を与える新手法を開発
～論理的安全ルールの効率的導出により自動運転の社会受容を加速～

アーカイブ

2023年8月 (2)
2023年5月 (3)
2022年10月 (2)
2022年7月 (2)
2022年3月 (2)
2021年11月 (1)
2021年10月 (4)
2021年6月 (1)
2021年3月 (2)
2020年10月 (2)
2020年9月 (2)
2020年3月 (3)
2019年11月 (6)
2019年10月 (2)
2019年8月 (2)
2019年5月 (4)
2019年4月 (3)
2019年3月 (7)
2018年12月 (3)

グループ２：産業応用グループ

Waterloo サイト（U. Waterloo）

Proudly powered by WordPress