On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods

Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh et John Mullins

Communication écrite (2021)

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
URL de PolyPublie:	https://publications.polymtl.ca/51069/
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
DOI:	10.1109/qrs54544.2021.00037
URL officielle:	https://doi.org/10.1109/qrs54544.2021.00037
Date du dépôt:	18 avr. 2023 15:00
Dernière modification:	05 avr. 2024 11:55

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel