Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA;
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA;
机译:混合动力系统的线性时间逻辑:特征和充分条件
机译:混合动力系统中时间逻辑规范的充分条件
机译:在线性时间逻辑下耦合多机器人系统和信号时间逻辑任务
机译:DTL〜2:差分时间动态逻辑,具有混合系统的嵌套时间性
机译:S-Taliro:用于混合系统的时间逻辑伪造的工具
机译:专题:复杂系统:从化学到系统生物学专题:通过使用动态嵌套效应模型对分子信号传导和基因表达的时间相互作用进行建模
机译:dTL2:具有嵌套时间的混合系统的差分时间动态逻辑