Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

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]

Abstract

Abstract is missing.