#Gymnasium

共 1 条 · 7 天 0 条 · 30 天 0 条

SMC-ES 1 形式验证 1 统计模型检查 1 进化策略 1

信息流里打上「Gymnasium」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月17日

SMC-ES：自动化综合形式验证控制策略

这篇论文提出了SMC-ES，把进化策略和统计模型检查结合起来，能生成带形式安全证明的控制策略。比普通RL更靠谱。

#SMC-ES #进化策略 #统计模型检查 #Gymnasium

arXiv cs.LG@Riccardo Curcio 等 3 人原文