Sofie Haesaert

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

Conception de contrôleurs efficaces pour des systèmes incertains en utilisant des techniques d'abstraction.

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.

Découvrez comment SymAware améliore la collaboration et la sécurité dans les systèmes autonomes.

Explore l'utilisation innovante des représentations basées sur les données pour contrôler des systèmes LPV complexes.