• kPWorkbench公司

  • 引用2篇文章[sw19654]
  • 系统模型。框架支持两者线性的 世俗的 逻辑(LTL)和计算树逻辑...
  • 长期至长期

  • 1条引用[sw28829]
  • 转换线性的 世俗的 逻辑到确定性(广义)拉宾自动机。最近,哈维尔·埃斯帕扎和简·克雷廷斯基。。。提出了一种新的直接翻译方法线性的 世俗的 逻辑确定性(广义)拉宾公式。。。
  • 可编程逻辑控制器

  • 1条引用[sw14776]
  • 命题投影的符号模型检验世俗的 逻辑. 现有模型的形式化规范语言。。。计算树逻辑和CTL线性的 世俗的 逻辑(LTL)不足以描述。。。
  • 违反

  • 引用21篇文章【sw20822】
  • 度量区间的鲁棒监控世俗的 逻辑(MITL)公式。违约范围的适用范围。。。复杂非均匀性分析的设计-线性的系统生物学模型。。。
  • LTLéu到\u GBA

  • 1条引用[sw29245]
  • 转换线性的-时间世俗的 逻辑广义Bü气自动机。我们正式化线性的-时间世俗的 逻辑...
  • 康帕斯

  • 1条引用[sw10953]
  • conPAS/conPAS2:世俗的 逻辑分段仿射系统的控制。conPAS是一个自动计算工具。。。系统规格如下线性的 世俗的 逻辑(LTL)公式。conPAS包括两个主要的。。。
  • 独奏者

  • 1条引用[sw16438号]
  • 排序的一阶度量世俗的 逻辑,用新的世俗的支持聚合运营商的模式。。。语言可以简化为线性的 世俗的 逻辑为独奏者的运用铺平了道路。。。
  • 普罗莫卡

  • 1条引用[sw18548]
  • 使用概率变量的属性线性的 世俗的 逻辑. 第三,我们采用了一个概率模型。。。
  • 感觉

  • 1条引用[sw30632]
  • 以公式表示的线性的 世俗的 逻辑或者像无限长的线上的自动机。。。
  • 麦肯锡

  • 引用了30篇文章[sw09465]
  • 模型检查的各种方法逻辑知识。这个模型的新颖之处。。。回忆所有观察结果。两者兼而有之线性的分支时间世俗的支持运算符。早期版本。。。
  • 数据日志精简版

  • 在10篇文章中引用[sw28894]
  • 线性的-时间评估,Datalog-LITE表现力很强:它包含了流行的模式和世俗的 逻辑学... 防护固定点的自由部分逻辑. 因此,线性的-时间模型检查算法。。。
  • 塔里罗

  • 引用2篇文章[sw10178]
  • 命题的稳健性世俗的 逻辑关于离散时间信号的规范。这个。。。简要介绍线性的和公制世俗的 逻辑学,描述用法。。。
  • 结巴对等

  • 1条引用[sw28575]
  • 表明所有的PLTL(命题线性的-时间世俗的 逻辑)对口吃不敏感的属性。。。
  • 哈斯尔

  • 参考6篇文章[sw13330号]
  • 世俗的 逻辑离散事件随机过程(DESP)验证的形式主义。HASL雇佣线性的... HASL提供了一个统一的验证框架,其中世俗的推理自然与精心设计的奖励相结合。。。
  • J-LO公司

  • 引用3篇文章[sw32260]
  • 应用。世俗的属性(见下文)可以使用线性的时间逻辑(LTL)完毕。。。
  • 兰花

  • 引用3篇文章[sw09807]
  • 世俗的公式取自世俗的 逻辑根据入侵特征的描述定制。。。系统事件流,它们一起形成一个线性的克里普克结构。。。
  • 宇宙

  • 引用5篇文章[sw13329]
  • 混合自动机随机逻辑(哈斯勒)。HASL雇佣线性的混合自动机(LHA),一个通用的。。。统一的框架世俗的推理自然与精心的基于奖励的分析相结合。宇宙。。。
  • 第二页

  • 引用2篇文章[sw04983]
  • 专注于验证分支或线性的时间世俗的属性,和通常表现出不同的性能。。。建模语言,以及在哪里可以选择不同的逻辑学以及所需的验证方法。现在。。。
  • 围裙

  • 引用67篇文章[sw00045]
  • 围裙:一个数字抽象领域的图书馆。。。