Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control
Tran, Hoang-Dung, Cai, Feiyang, Diego, Manzanas Lopez, Musau, Patrick, Johnson, Taylor T., Koutsoukos, XenofonVolume:
18
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3358230
Date:
October, 2019
File:
PDF, 1.63 MB
english, 2019