Inteligencia artificial
Argo: IA y matemáticas para probar la seguridad de la red satélite
Argo combina AI con métodos formales para verificar la resiliencia de las redes satelitales. Aquí está su funcionamiento, su potencial y sus limitaciones.