Aitor Arrieta

Cette recherche évalue l'utilisation des LLM pour des scénarios réalistes de voitures autonomes.

Une nouvelle méthode pour accélérer la réparation des modèles Stateflow et réduire les coûts.

Explorer comment les modèles de base améliorent le développement des jumeaux numériques.