Papers09:26
Chinese contentSMC-ES：自动化综合形式验证控制策略这篇论文提出了SMC-ES，把进化策略和统计模型检查结合起来，能生成带形式安全证明的控制策略。比普通RL更靠谱。
#SMC-ES
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "SMC-ES", newest first.
Jul 17
这篇论文提出了SMC-ES，把进化策略和统计模型检查结合起来，能生成带形式安全证明的控制策略。比普通RL更靠谱。