The CyPhAI project concluded at the end of March 2026 after 5.5 years. This website is maintained for archival purposes.

Formal Analysis and Design of AI-intensive Cyber-Physical Systems – CyPhAI was a 5.5-year research project (2020–2026) focusing on mathematically rigorous methodologies for the modeling, verification, testing, monitoring, and control of cyber-physical systems (CPS) where artificial intelligence (AI) plays a pivotal role. This was a collaborative effort between Japan teams led by Prof. Kohei Suenaga (Kyoto University) and Prof. Masako Kishida (NII) and the France teams led by Prof. Thao Dang (CNRS), emphasizing international collaboration and interdisciplinary research in AI-CPS. The project was supported by the Japan Science and Technology Agency (JST) and Agence nationale de la recherche (ANR) through the Core Research for Evolutionary Science and Technology (CREST) program.