机译:使用预测/过渡网对多代理行为进行建模和分析
Department of Computer Science, Texas A&M University, College Station, TX 77843-3112, USA;
formal methods; predicate/transition nets; multi-agent systems; plan; verification;
机译:使用SPIN模型检查器分析谓词过渡网的方法
机译:基于微分谓词转移Petri网模型和证明树的混合系统建模
机译:一种高级Petri网中建模的多Agent系统的分析方法
机译:使用谓词/转换网建模和验证多智能运动行为
机译:建模与分析延迟影响:多助理系统网络共识
机译:弹性是人类基础设施动力学的新兴属性:一种用于描述基础设施系统中的状态变化和临界点行为的多主体仿真模型
机译:使用谓词/过渡网建模和分析多智能体行为
机译:具有谓词/转移网络的高速数据总线建模与分析