近日来自卡内基梅隆大学、NASA实验室以及波音公司的研究院提出了一种组合方法，用于包含深度神经网络模型的自主系统的可扩展，形式验证。 该方法使用假设保证推理，其中对各个组件的输入 - 输出行为进行编码的contracts，允许设计者对与其他组件并排工作的学习组件的行为进行建模和合并。