[HTML] springer.com

[HTML][HTML] Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

P Jin, J Tian, D Zhi, X Wen, M Zhang - International Conference on …, 2022 - Springer
Abstract Deep Reinforcement Learning (DRL) has demonstrated its strength in developing
intelligent systems. These systems shall be formally guaranteed to be trustworthy when …
被引用次数：23 相关文章
[PDF] ecnu.edu.cn

[PDF][PDF] Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

P Jin, J Tian, D Zhi, X Wen, M Zhang - faculty.ecnu.edu.cn
Deep Reinforcement Learning (DRL) has demonstrated its strength in developing intelligent
systems. These systems shall be formally guaranteed to be trustworthy when applied to …

Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

P Jin, J Tian, D Zhi, X Wen, M Zhang - International Conference on …, 2022 - dl.acm.org
Abstract Deep Reinforcement Learning (DRL) has demonstrated its strength in developing
intelligent systems. These systems shall be formally guaranteed to be trustworthy when …
[PDF] ecnu.edu.cn

[PDF][PDF] Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

P Jin, J Tian, D Zhi, X Wen, M Zhang - faculty.ecnu.edu.cn
Deep Reinforcement Learning (DRL) has demonstrated its strength in developing intelligent
systems. These systems shall be formally guaranteed to be trustworthy when applied to …