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







