Department of Computer and Information Science, Univ. of Pennsylvania, USA;
Universite Joseph Fourier, Laboratoire de Modelisation et Calcul, Grenoble, France;
Department of Electrical and Systems Engineering, Univ. of Pennsylvania, USA;
机译:从高级时间逻辑规格自动合成机器人群的机器人群
机译:具有时间逻辑规范的电力系统储能控制器综合
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:颞逻辑规范的混合控制器的分层合成
机译:时间逻辑规范下的多机器人系统可扩展控制合成
机译:分层结构Ag-ZnO杂化物的合成及其对丙烯基弹性体共混物表面抗菌活性的影响
机译:根据时间逻辑规范对混合控制器进行分层综合