| emsoft | participants

Hoang-Dung Tran

EMSOFT 2019: 19th International Conference on Embedded Software

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control