On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods

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

Paper (2021)

An external link is available for this item

Department:	Department of Computer Engineering and Software Engineering
PolyPublie URL:	https://publications.polymtl.ca/51069/
Conference Title:	21st International Conference on Software Quality, Reliability and Security (QRS 2021)
Conference Location:	Hainan, China
Conference Date(s):	2021-12-06 - 2021-12-10
Publisher:	IEEE
DOI:	10.1109/qrs54544.2021.00037
Official URL:	https://doi.org/10.1109/qrs54544.2021.00037
Date Deposited:	18 Apr 2023 15:00
Last Modified:	25 Sep 2024 16:41

Cite in APA 7:	Mindom, P. S. N., Nikanjam, A., Khomh, F., & Mullins, J. (2021, December). On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods [Paper]. 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

Statistics

Repository Staff Only