Acknowledgments

This work was supported by:

The French Agence nationale de la recherche (ANR), with the SOPRANO project.

the confiance.ai research program, a French consortium with industrial and academic partners that aims to design and industrialize trustworthy AI-based critical systems.

The French Institut de radioprotection et de sûreté nucléaire (IRSN) ("Radioprotection and Nuclear Safety Institute").

OCamlPro.