Shield Synthesis for Reinforcement Learning

Thumbnail
Fulltext:
225791.pdf
Size:
863.6Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2020
Author(s)
Könighofer, B.
Lorber, F.
Jansen, N.
Bloem, R.
Publisher
Cham : Springer
ISBN
9783030613624
In
Lecture Notes in Computer Science, (2020)Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, pp. 290-306
ISSN
DOI
Annotation
ISoLA
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/225791   https://hdl.handle.net/2066/225791
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.