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












