察元AI教程库 · 文章 · 大模型

使用变换器和Mamba学习估计线性时序逻辑中的系统规范

时序逻辑是一种用于表示和推理随时间演变命题的框架。它常用于各种领域（包括硬件和软件系统以及机器人）中的需求规范。规范挖掘或公式生成涉及从数据中提取时间逻辑公式。

作者:İlker Işık, Ebru Aydin Gol, Ramazan Gokberk Cinbis · 语言:en

简介