Un equipo de la Universidad de Waterloo ha desarrollado un método que combina redes neuronales y verificación matemática para asegurar que los sistemas controlados por IA operen de manera segura y confiable en aplicaciones críticas como redes eléctricas y vehículos autónomos.