面向CPS时空规则验证制导的安全强化学习
印婵, 祝义, 王金永, 陈小颖, 郝国生
Formal Verification of Spatio-Temporal Rules Guided Safe Reinforcement Learning for CPS
YIN Chan, ZHU Yi, WANG Jinyong, CHEN Xiaoying, HAO Guosheng
计算机科学与探索
.
2025, (2): 513
-527
.
DOI: 10.3778/j.issn.1673-9418.2312010
