Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control (bibtex)

by HD Tran, F Cai, Diego Manzanas Lopez, P Musau, Taylor T. Johnson and X Koutsoukos

Reference:

HD Tran, F Cai, Diego Manzanas Lopez, P Musau, Taylor T. Johnson and X Koutsoukos, "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control", ACM Transactions on Embedded Computing Systems (TECS), Special Issue from EMSOFT'19, ACM, vol. 18, no. 5s, pp. 105:1–105:22, 2019.

Bibtex Entry:

@article{tran2019emsoft,
  title = {Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control},
  author = {HD Tran and F Cai and Diego Manzanas Lopez and P Musau and Taylor T. Johnson and X Koutsoukos},
  year = {2019},
  month = oct,
  journal = {ACM Transactions on Embedded Computing Systems (TECS), Special Issue from EMSOFT'19},
  volume = {18},
  number = {5s},
  pages = {105:1--105:22},
  publisher = {ACM},
  doi = {10.1145/3358230},
  publabel = {J19},
  pubtype = {J},
  dblp = {journals/tecs/TranCLMJK19},
  pdf = "research/tran2019emsoft.pdf",
}