Lecomte, Thierry.
" Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems." <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais,
Recife/PE, 2025</em>. SBC, 2025,  
pp.196-206.