结果1至20802
排序依据：

  • 努西姆
  • 引用的第289条[sw04131]
  • 正在检查包含基于RBC的组件有界的模型检查器，可以连接。。。热那瓦大学贡献了SIM状态-直到。。。软件包在有界的模型检查算法。。。

  • 库仑比格斯
  • 引用了20篇文章[sw16336号]
  • BPS实物图片州作为跳跃 州基本的“单一中心”宪法，并适用于。。。

  • MRMC公司
  • 参考第66条[sw04129]
  • 稳定-状态检测。最近的工具功能包括时间-有界的连续时间马尔可夫可达性分析。。。

  • 拉德韦克
  • 参考11篇文章[sw10750]
  • 径向波函数，特征值跳跃 州免费移相州被评估。。。

  • 法弗
  • 引用107篇文章[sw04123]
  • 具有分段常数的混合系统的性质界限关于导数。动态处理。。。流体过度接近和状态基于用户可定义限制的空间。。。

  • 多劳尔
  • 引用23条[sw14205号]
  • 与F有关-有界的量化，用于陈述类型检查规则和表达式。。。

  • 库恩
  • 参考第62条[sw04347]
  • sBB方法的重要部分：界限紧缩（BT）和分支策略。我们扩展一个分支。。。比较couenne和状态-最先进的MINLP解算器。。。

  • POMDPS公司
  • 参考第34条[sw03055]
  • 跳跃降低，降低跳跃改进）。我们的实验结果表明状态-艺术在线。。。

  • HF86型
  • 参考6篇文章[sw12461]
  • 测定原子中的原子跳跃 状态. 这些都是用来预测各种。。。

  • SpaceEx公司
  • 引用了65篇文章[sw10939]
  • 计算可达的过近似州. 该算法比以前的工作改进了。。。保证给定局部错误的步骤跳跃. 此外，我们提出了一种改进的近似方法。。。

  • 麦肯锡
  • 27条引用[sw09465]
  • 也支持有界的模型检查以及显式状态模型检查。。。

  • 达索普特
  • 参考12篇文章[sw09260]
  • 维度，包括状态variables.par通过使用有限。。。有无计算结果界限上状态变量显示。。。

  • 特里斯
  • 引用46篇文章[sw05197]
  • 具有非线性等式约束的简单问题界限对一些变量进行了描述。。。最优控制问题。算法处理州和控制作为自变量。它们的设计。。。但使用线性化的解决方案状态方程和伴随方程。他们。。。对于跳跃使用仿射缩放方法的约束。。。

  • Symstra公司
  • 引用18条[sw01296]
  • 跳跃在序列长度上，Symstra系统地探索了对象-状态空间。。。

  • PSOPT公司
  • 参考7篇文章[sw20700]
  • 积分约束；内点约束；界限控制和状态变量；一般成本函数。。。

  • 面对
  • 引用2篇文章[sw01176]
  • 获得结合能和跳跃 状态轻奇异核的结构组成。。。

  • NLAT公司
  • 引用2篇文章[sw22218]
  • 微分方程，用于散射和跳跃 州. 最后可以得到的观测值。。。

  • 马铃薯
  • 引用2篇文章[sw19948]
  • 用于解决跳跃 状态以及系统的多通道散射问题。。。

  • 瓦伦西亚
  • 27条引用[sw04846]
  • 许多实际应用。如果有担保界限在不确定性已知的情况下，区间法。。。应用于获得所有州. 然而，验证的计算经常受到影响。。。