Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. ACM Trans. Embedded Comput. Syst., 18(5s), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.