...
机译:验证合作交通代理
HYBRID SYSTEMS; LINEAR-SYSTEMS; CHECKING;
机译:验证合作交通代理
机译:空中交通管制合作社
机译:合金中基于Agent的交通仿真特性的建模与验证
机译:关于合作交通代理的验证
机译:使用动态任务中协作的自治代理进行分散式任务分配和任务执行
机译:座谈会论文自适应代理情报和新兴人类组织:通过基于代理的建模来捕捉复杂性:合作者之间的竞争:利他主义和对等
机译:基于符号模型验证器的agent自适应交通信号建模与验证