A few positions with us are now open:
Besides, there is a post-doc opportunity open in Kyoto, in Atsushi Igarashi’s group (we work closely with them):
A news release from NII and JST:
The research team led by HASUO Ichiro at the National Institute of Informatics (NII, Japan) developed a methodology to provide strong mathematical safety guarantees to automated driving vehicles, together with its underlying theory on formal logic. This research was conducted under the ERATO MMSD project funded by the Japan Science and Technology Agency (JST, Japan).
Building on the existing methodology called “Responsibility-Sensitive Safety (RSS)” for mathematical proofs of automated driving safety, the research established its extension called “Goal-Aware RSS (GA-RSS)” that expands RSS’s application domain to a variety of real-world driving scenarios. Specifically, the techniques in GA-RSS derived from theoretical results in formal logic enable one to provide mathematical safety proofs to more complex driving scenarios than before, especially those which require achievement of certain goals such as an emergency stop.
The outcome of this research was published in IEEE Transactions on Intelligent Vehicles, a top journal on automated driving on July 5, 2022 (US Eastern Time).
The following positions are currently open.
Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at ETAPS 2020 – European Joint Conferences on Theory and Practice of Software.
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of four main annual conferences, ESOP, FASE, FOSSACS and TACAS, accompanied by satellite workshops and other events. ETAPS 2020 conference was planned in Dublin, Ireland, in April 2020 (postponed due to COVID-19).
Dr. Xiaoyi Zhang, Dr. Paolo Arcaini and Dr. Fuyuki Ishikawa have been awarded the best paper award at ICECCS 2019 — the 24th International Conference on Engineering of Complex Computer Systems.
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199. [ieee]
The three authors are members of ERATO MMSD Project (Group 3, led by Fuyuki Ishikawa).
ICECCS is one of the top international conferences in the field of formal methods (CORE rank A). This is the second best paper award in a row at ICECCS from ERATO MMSD, following the last year.
Two papers authored by ERATO MMSD researchers accepted for presentation at ITSC 2019 – the 22nd International Conference on Intelligent Transportation Systems.
The ITSC Conference is a major international venue on intelligent transportation systems, including automated driving. ITSC 2019 took place in Auckland, New Zealand, in October 2019.
Two papers authored by ERATO MMSD researchers accepted for presentation at ICECCS 2019 – the 24th International Conference on Engineering of Complex Computer Systems.
The ICECCS Conference is a premier international venue on system-level quality assurance of computer systems. ICECCS 2019 will take place in Nansha, China, in November 2019.
Japanese language skills are desired… See the Japanese version.
Mr. Masaki Waga has been awarded Oded Maler Award for the best paper at FORMATS 2019 – the 17th International Conference on Formal Modeling and Analysis of Timed Systems – for the following contribution of his.
Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: André É., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [Springer | arxiv]
Mr. Masaki Waga is a PhD student at SOKENDAI/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 3).
Our project symposium on 21 May, 2019 had 88 participants. Thank you all for active participation!
We have made some videos and slides public.
