Safety Verification in Reinforcement Learning Control (bibtex)

by Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson and Xenofon Koutsoukos

Reference:

Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson and Xenofon Koutsoukos, "Safety Verification in Reinforcement Learning Control", In 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS'19), 2019.

Bibtex Entry:

@inproceedings{tran2019fomlas,
  title = {Safety Verification in Reinforcement Learning Control},
  author = {Hoang-Dung Tran and Feiyang Cai and Diego Manzanas Lopez and Patrick Musau and Taylor T. Johnson and Xenofon Koutsoukos},
  year = {2019},
  booktitle = {2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS'19)},
  publabel = {W24},
  pubtype = {W},
  pdf = "research/tran2019fomlas.pdf",
}