Lecomte, T.
2025 Dec  3.  Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :