Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
Karen Leung, Nikos Arechiga, Marco Pavone
科研成果: 图书/报告稿件的类型 › 章节
15
引用
（Scopus）