Verifiable reinforcement learning via policy extraction
© 2018 Curran Associates Inc.All rights reserved. While deep reinforcement learning has successfully solved many challenging control tasks, its real-world applicability has been limited by the inability to ensure the safety of learned policies. We propose an approach to verifiable reinforcement lear...
Main Authors: | Solar Lezama, Armando (Author), Pu, Yewen (Author), Bastani, Osbert (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
2021-11-09T15:50:25Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Verifiably safe exploration for end-to-end reinforcement learning
by: Hunt, Nathan, et al.
Published: (2022) -
Learning to acquire information
by: Pu, Yewen, et al.
Published: (2021) -
Verified lifting of stencil computations
by: Kamil, Shoaib, et al.
Published: (2017) -
Safe reinforcement learning using formally verified abstract policies
by: Mason, George
Published: (2018) -
Reinforced Deep Learning for Verifying Finger Veins
by: Shaima Miqdad Mohamed Najeeb, et al.
Published: (2021-07-01)