🤖🚗 AI is moving into the physical world – but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting 🇯🇵, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
🔬 LLM-guided synthesis
🧪 testing
📐 verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch