该文汇总多篇研究，探讨AI与自主系统的安全保障，包括基于四项伦理原则的保证论证框架与AI道德可接受性评估，面向信息物理系统的模拟测试、形式化验证和安全过滤器等方法，覆盖自动驾驶、医疗胰岛素泵等场景，强调从概率测试转向严格形式保证，并明确机器学习安全的定义与实现策略。