Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

Tran, Hoang-Dung; Cei, Feiyang; Lopez, Diego Manzanas; Johnson, Taylor T.; Koutsoukos, Xenofon

by Hoang-Dung Tran, Feiyang Cei, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon Koutsoukos

Reference:

Hoang-Dung Tran, Feiyang Cei, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon Koutsoukos, "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control", In ACM SIGBED International Conference on Embedded Software (EMSOFT'19), ACM, 2019, October.

Bibtex Entry:

@InProceedings{tran2019emsoft,
author="Tran, Hoang-Dung
and Feiyang Cei 
and Diego Manzanas Lopez 
and Taylor T. Johnson
and Xenofon Koutsoukos",
title="Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control",
booktitle="ACM SIGBED International Conference on Embedded Software (EMSOFT'19)",
year="2019",
month="October",
publisher="ACM",
pdf="research/tran2019emsoft.pdf",
}