机译:多模式CTL:完整性,复杂性和应用程序
Computation Tree Logic (ctl); Normative Systems; Social Laws;
机译:多模式CTL:完整性,复杂性及其应用
机译:CTL和CTL片段可满足性的复杂性(第20卷,第901页,2009年)
机译:CTL和CTL片段可满足性的复杂性
机译:基于CTL的基础统计模块的实用性通过使用软件r的说明完成的基于CTL
机译:计算机代数,组合运算和复杂性:希尔伯特的Nullstellensatz和NP完全问题
机译:关注时间复杂性的多模态图像行为的神经解码
机译:多模式CTL:完整性,复杂性及其应用
机译:多模态传感器网络的低复杂度轨道初始化和融合。