%0 Journal Article %1 journals/tecs/TranCLMJK19 %A Tran, Hoang-Dung %A Cai, Feiyang %A Lopez, Diego Manzanas %A Musau, Patrick %A Johnson, Taylor T. %A Koutsoukos, Xenofon D. %D 2019 %J ACM Trans. Embedded Comput. Syst. %K dblp %N 5s %P 105:1-105:22 %T Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. %U http://dblp.uni-trier.de/db/journals/tecs/tecs18.html#TranCLMJK19 %V 18

@article{journals/tecs/TranCLMJK19, added-at = {2019-11-20T00:00:00.000+0100}, author = {Tran, Hoang-Dung and Cai, Feiyang and Lopez, Diego Manzanas and Musau, Patrick and Johnson, Taylor T. and Koutsoukos, Xenofon D.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2af6c2856fc29b6950d75f81d872e4150/dblp}, ee = {https://doi.org/10.1145/3358230}, interhash = {332e8c3263aa8509dfa691326c0aeb15}, intrahash = {af6c2856fc29b6950d75f81d872e4150}, journal = {ACM Trans. Embedded Comput. Syst.}, keywords = {dblp}, number = {5s}, pages = {105:1-105:22}, timestamp = {2019-11-26T07:50:04.000+0100}, title = {Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs18.html#TranCLMJK19}, volume = 18, year = 2019 }