1. NII’s New Director on the Future of NII
2. Mathematically Verifying the Safety of Automated Driving Systems
How Informatics is Shaping Society
Proposing a method of explainable "safety and security
A Novel Extension of a Mathematical Method of "Formal Verification"
The potential of mathematical "Safety Verification"
Engineerable AI (eAI) to Drive Industrial Innovation
"Zero Trust" for Establishing Safety
ISHIKAWA, Yutaka; TAKEFUSA, Atsuko
What is Control Theory?
No.99「1. NII’s New Director on the Future of NII
2. Mathematically Verifying the Safety of Automated Driving Systems」
Publicity Team, Planning Division, General Affairs Department
National Center of Science 2-1-2Hitotsubashi, Chiyoda-ku, Tokyo 101-8430
E-mail: kouhou [at] nii.ac.jp
*Please replace [at] with @.