09:26
官方账号arXiv cs.LG@Riccardo Curcio, Toni Mancini, Enrico Tronci
推荐理由：这篇论文提出了SMC-ES，把进化策略和统计模型检查结合起来，能生成带形式安全证明的控制策略。比普通RL更靠谱。
统计模型检查
共 1 条相关 AI 资讯
7月17日
09:26
SMC-ES是一种结合进化策略与统计模型检查的新算法，用于自动综合具有形式保证的控制策略。该方法以置信度1-δ和允许故障概率ε为参数，确保证书表明违规概率不超过ε。在Gymnasium和Safety Gymnasium的连续控制任务上评估，计算成本可持续增加，但性能与领先的无模型深度强化学习（DRL）和安全DRL基线相当。该算法为性能、安全性和鲁棒性规格提供了形式保证。