The talk addresses questions raised by the introduction of applications based on machine learning and AI. Such applications are dealing with uncertainty in the environment – but this doesn’t imply non-determinism of the solution. The talk provides an explanation of how this technology can be proven safe, assured, and certified, and what principles the future means of compliance published by EASA are based on, as well as shows real-world examples of the applications created at Daedalean