arXiv:2505.00562v1 Announce Type: cross 摘要: 使用信号时序逻辑（STL）规范学习解决复杂任务对于许多实际应用至关重要。然而，由于缺乏多样化的STL数据集和能够有效提取时序逻辑信息的编码器，大多数前序工作仅考虑固定的或参数化的STL规范。本文中，我们提出了TeLoGraF（Temporal Logic Graph-encoded Flow），这是一种利用图神经网络（GNN）编码器和流匹配来学习通用STL规范解法的方法。我们识别了四种常用的STL模板，并收集了总共200K个带有配对演示的规范。我们在五个不同的模拟环境中进行了广泛的实验，从二维空间中的简单动力学模型到高维7DoF的Franka Panda机器人手臂和Ant四足导航。结果显示，我们的方法在STL满足率上优于其他基线方法。与经典的STL规划算法相比，我们的方法在推理上的速度提高了10至100倍，并且可以在任何系统动力学上工作。此外，我们展示了我们的图编码方法解决复杂STL规范的能力，以及在处理超出分布的STL规范时的鲁棒性。代码可在https://github.com/mengyuest/TeLoGraF获取。