EASA and Collins Aerospace release a joint Innovation Partnership Contract (IPC) report on the use of Formal Methods for Learning Assurance
In the frame of its Artificial Intelligence Roadmap, the European Union Aviation Safety Agency (EASA) and Collins Aerospace Applied Research & Technology completed an Innovation Partnership Contract (IPC) with the publication of a report that addresses the concrete challenges of the use of Formal methods techniques to address objectives of the Learning Assurance framework on…