Zhiyong Sun

Cette étude développe un contrôleur pour les véhicules autonomes afin d'améliorer la sécurité dans la circulation.

Un nouveau planificateur améliore la façon dont les robots comprennent les commandes vocales en utilisant des spécifications formelles.

Une nouvelle approche pour aider les voitures autonomes à prendre des décisions plus sûres sur la route.