Intelligence artificielle
Argo : l’IA et les mathématiques pour éprouver la sécurité des réseaux satellites
Argo combine IA et méthodes formelles pour vérifier la résilience des réseaux satellites. Voici son fonctionnement, son potentiel et ses limites.