首页/ 资讯中心/ 正文

关于文献【LTL（线性时序逻辑）】

建站侠发布时间：2026/8/8 1:15:24

1、【我的问题】LTL线性时序逻辑是什么意思全称是什么【deepseek】【我的总结】LTLLinear Temporal Logic线性时序逻辑就是一种用来描述事情随时间怎么变化的数学公式