本文介绍了深度神经网络在复杂感知系统中的重要作用，但为了确保其功能不会造成危害，需要运行时验证技术来检测关键事件、诊断问题并强制执行要求。介绍了机器学习和形式方法界的技术方法，并强调了严格设计监视器的重要性。
完成下面两步后，将自动完成登录并继续当前操作。
