Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking
MetadatenAuthor: | Lenz BelznerORCiD, Martin Wirsing |
---|
Language: | English |
---|
Document Type: | Article |
---|
Year of first Publication: | 2021 |
---|
published in (English): | Science of Computer Programming |
---|
Publisher: | Elsevier |
---|
Place of publication: | Amsterdam |
---|
ISSN: | 0167-6423 |
---|
Volume: | 2021 |
---|
Issue: | 206 |
---|
Pages: | 39 |
---|
Article Number: | 102620 |
---|
Review: | peer-review |
---|
Open Access: | nein |
---|
Version: | published |
---|
Tag: | Bayesian model checking; Constrained Markov decision process; Policy synthesis; Probabilistic constraints; Safe reinforcement learning |
---|
Related Identifier: | https://doi.org/10.1016/j.scico.2021.102620 |
---|
Release Date: | 2022/02/24 |
---|