Login / Signup
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.
Hoang-Dung Tran
Feiyang Cai
Diego Manzanas Lopez
Patrick Musau
Taylor T. Johnson
Xenofon D. Koutsoukos
Published in:
ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
</>
cyber physical systems
reinforcement learning
cyber physical
physical world
optimal policy
information systems
control system
cyber security
real time
artificial intelligence
high speed
computer systems