Algorithmic specification of contrails detection AI algorithms

This report documents details of the mathematical formalization of AI algorithms, their architectures and their properties will be produced. This document will articulate the proposed approaches with state-of-the-art algorithms already proven successful in other relevant contexts.Linked to T3.1 and T3.2.