中英▼
go top

linear-time temprol logic

网络释义

  线性时态逻辑

p p, q q s1 s3 s2 线性时态逻辑 线性时态逻辑(Linear-time Temprol Logic, LTL)的特点 将时间建模成状态的序列，无限延伸到未来。

基于2个网页-相关网页

有道翻译

linear-time temprol logic

线性时间时间逻辑

以上为机器翻译结果，长、整句建议使用 人工翻译 。

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定