Skip to content

ERATO Metamathematics for Systems Design Project

This website at NII is supplementary to the official website at JST.

Language

English
日本語
中文

Top
About
Members
Open Positions
Papers
Theses
Events
- ERATO MMSD Symposium on Automated Driving Safety
- ERATO MMSD Seminars for Automotive Industry (Members Only)
Access & Contact

Search

Search for:

Recent Posts

Open Positions
A New Method for Mathematically Proving the Safety of Automated Driving Vehicles
— Accelerating Social Acceptance of Automated Driving by Efficiently Deriving Logical Safety Rules —
Open Positions
News Release：
Distinguished paper award at SSBSE 2021

Archives

October 2022 (2)
July 2022 (2)
March 2022 (2)
November 2021 (1)
October 2021 (4)
June 2021 (1)
March 2021 (2)
October 2020 (2)
September 2020 (2)
March 2020 (3)
November 2019 (6)
October 2019 (2)
August 2019 (2)
May 2019 (4)
April 2019 (3)
March 2019 (7)
December 2018 (3)

Open Positions

(2022-10-29) We have a few open positions, as shown in the menu.

Proudly powered by WordPress