241008_news

🎤 I was invited to Hannam University and gave a seminar titled “Model-Based Software Engineering Approaches for the Verification of Autonomous Mobility.”