Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh
, John Mullins
Communication écrite (2021)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
21st International Conference on Software Quality, Reliability and Security (QRS 2021)
Lieu de la conférence:
Hainan, China
Date(s) de la conférence:
2021-12-06 - 2021-12-10
Maison d'édition:
IEEE
URL officielle:
OAI:
oai:publications.polymtl.ca:51069
ORCID
Date du dépôt:
18 avr. 2023 15:00
Dernière modification:
08 oct. 2026 18:25
Citer en APA 7:
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. https://doi.org/10.1109/qrs54544.2021.00037
Statistiques
Dimensions
