![]() | Monter d'un niveau |
Tambon, F., Laberge, G., An, L., Nikanjam, A., Mindom, P. S. N., Pequignot, Y., Khomh, F., Antoniol, G., Merlo, E., & Laviolette, F. (2022). How to certify machine learning based safety-critical systems? A systematic literature review. Automated Software Engineering, 29(2). Lien externe
Mindom, P. S. N., Nikanjam, A., Khomh, F., & Mullins, J. (décembre 2021). On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods [Communication écrite]. 21st International Conference on Software Quality, Reliability and Security (QRS 2021), Hainan, China. Lien externe