实体
Statistical Model Checking for Product Lines
Statistical Model Checking for Product Lines
PulseAugur coverage of Statistical Model Checking for Product Lines — every cluster mentioning Statistical Model Checking for Product Lines across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
LyEvO框架增强安全仿真到现实策略迁移 · 跟踪2个来源
研究人员推出LyEvO，一个旨在增强从仿真到现实应用策略的安全性和鲁棒性的新框架。该方法集成了约束进化优化、统计模型检查和基于Lyapunov的稳定性分析。通过利用系统动力学知识，LyEvO计算初始稳定性区域，并通过联合优化和验证迭代改进它，提供部署就绪标准。在Cartpole和3D Quadrotor基准测试（包括真实世界实验）上的评估表明，成功实现了安全且鲁棒的仿真到现实迁移。
-
新算法为自主系统合成形式化验证的控制策略
研究人员开发了SMC-ES，一种将进化策略与统计模型检查相结合的新算法，可自动合成自主系统的控制策略。该方法对性能、安全性和鲁棒性提供形式化保证，确保遇到违规的概率低于指定阈值。SMC-ES在Gymnasium和Safety Gymnasium的连续控制任务上进行了评估，与领先的深度强化学习和Safe-DRL基线相比，表现具有竞争力，但计算成本有所增加。