退出
我的积分:
中文文献批量获取
外文文献批量获取
尹红丽; 王永明; 夏幼明;
中国计算机学会;
多Agent系统; 协商推理模型; 线性时序逻辑; 多智能体系统; 形式化方法;
机译:线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
机译:基于模糊推理模型的基于Agent的系统信任度评估与验证
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:基于利他效用的宽松协商模型及其对Agent中介协商的启示
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于线性时序逻辑规范的基于优化的轨迹生成
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。
机译:基于双线性对的基于身份的身份隐藏密钥协商方法
机译:一种基于magenta染料的油墨组合物,油墨组和提高基于magenta染料的油墨组合物的印刷质量的方法
机译:基于双线性映射的多方密钥协商方法及其系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。