Améliorer mutuellement IA et méthodes formelles pour concevoir des systèmes fiables
Mitsubishi Electric R&D Centre Europe (MERCE) et le Centre Inria de l’Université de Rennes mènent actuellement des recherches conjointes associant méthodes formelles et Intelligence Artificielle afin de concevoir des technologies plus sûres. L’objectif est double. D’une part, donner des garanties de fiabilité mathématiquement prouvées aux résultats proposés par l’IA afin…









