Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.

Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang

Browse the full IJCNN paper archive.