Formal Analysis and Design of AI-intensive Cyber-Physical Systems - CyPhAI,
Location:Japan
The project webpage