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]
@article{TranCLMJK19,
title = {Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control},
author = {Hoang-Dung Tran and Feiyang Cai and Diego Manzanas Lopez and Patrick Musau and Taylor T. Johnson and Xenofon D. Koutsoukos},
year = {2019},
doi = {10.1145/3358230},
url = {https://doi.org/10.1145/3358230},
researchr = {https://researchr.org/publication/TranCLMJK19},
cites = {0},
citedby = {0},
journal = {ACM Trans. Embedded Comput. Syst.},
volume = {18},
number = {5s},
}