Sadegh Soudjani

Une nouvelle approche pour évaluer la résilience des systèmes face aux perturbations.

Une méthode pour vérifier la sécurité des voitures autonomes et des drones en utilisant des réseaux de neurones.

Outil automatisé pour vérifier la justesse des programmes quantiques écrits en Silq.

Explorer le rôle des algorithmes génétiques dans l'optimisation de la conception de circuits quantiques.

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

Un aperçu de l'utilisation des certificats de barrière pour une vérification plus sûre des circuits quantiques.

Silq rend la programmation quantique super simple avec des fonctionnalités faciles à utiliser.

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

Un nouvel algorithme minimise le regret tout en respectant des règles complexes dans l'apprentissage par renforcement.

Découvre comment les véhicules autonomes changent le transport grâce à la technologie intelligente.