Lecomte, T.
2025 dez  3.  Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :