Tran, Hoang-Dung, Cai, Feiyang, Diego, Manzanas Lopez, Musau, Patrick, Johnson, Taylor T., and Koutsoukos, Xenofon. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. Retrieved from https://par.nsf.gov/biblio/10190924. ACM Transactions on Embedded Computing Systems 18.5s Web. doi:10.1145/3358230.

Tran, Hoang-Dung, Cai, Feiyang, Diego, Manzanas Lopez, Musau, Patrick, Johnson, Taylor T., & Koutsoukos, Xenofon. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. ACM Transactions on Embedded Computing Systems, 18 (5s). Retrieved from https://par.nsf.gov/biblio/10190924. https://doi.org/10.1145/3358230

Tran, Hoang-Dung, Cai, Feiyang, Diego, Manzanas Lopez, Musau, Patrick, Johnson, Taylor T., and Koutsoukos, Xenofon. "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control". ACM Transactions on Embedded Computing Systems 18 (5s). Country unknown/Code not available. https://doi.org/10.1145/3358230. https://par.nsf.gov/biblio/10190924.

@article{osti_10190924,
place = {Country unknown/Code not available}, title = {Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control}, url = {https://par.nsf.gov/biblio/10190924}, DOI = {10.1145/3358230}, abstractNote = {}, journal = {ACM Transactions on Embedded Computing Systems}, volume = {18}, number = {5s}, author = {Tran, Hoang-Dung and Cai, Feiyang and Diego, Manzanas Lopez and Musau, Patrick and Johnson, Taylor T. and Koutsoukos, Xenofon}, }