1300小时LR7，IEB摘要：自主系统正在成为无数应用程序的驱动技术。 许多学科应对使这些系统值得信赖，适应性，用户友好和经济的挑战。 另一方面，现有的纪律界限延迟，甚至可能阻碍进步。 我认为，设计和验证自主系统在学习，正式方法和控件的交集时需要混合解决方案。 我将在顺序决策过程中学习中的这种混合解决方案的示例。 这些结果提供了有效地将基于物理，上下文或结构性的先验知识整合到数据驱动的学习算法中的新颖手段。 它们通过对系统以前没有经历的环境和任务的几个数量级和通用性提高了数据效率。 我将在一些有希望的未来研究方向上发表评论。1300小时LR7，IEB摘要：自主系统正在成为无数应用程序的驱动技术。许多学科应对使这些系统值得信赖，适应性，用户友好和经济的挑战。另一方面，现有的纪律界限延迟，甚至可能阻碍进步。我认为，设计和验证自主系统在学习，正式方法和控件的交集时需要混合解决方案。我将在顺序决策过程中学习中的这种混合解决方案的示例。这些结果提供了有效地将基于物理，上下文或结构性的先验知识整合到数据驱动的学习算法中的新颖手段。它们通过对系统以前没有经历的环境和任务的几个数量级和通用性提高了数据效率。我将在一些有希望的未来研究方向上发表评论。