Interpretable Policies from Formally-Specified Temporal Properties

Jonathan Decastro, Karen Leung, Nikos Aréchiga, Marco Pavone

科研成果: 图书/报告稿件的类型会议稿件

6 引用 (Scopus)

指纹

探究 'Interpretable Policies from Formally-Specified Temporal Properties' 的科研主题。它们共同构成独一无二的指纹。

Keyphrases

Computer Science