Lecomte, Thierry.
" Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)