Lecomte, T.
(2025).
 Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 196-206). Porto Alegre: SBC.