机译:成分多智能体系统的自动化分析
Artificial Intelligence Department, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;
Artificial Intelligence Department, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;
automated analysis of multi-agent systems; compositional modelling of multi-agent systems; compositional verification of multi-agent systems; model checking; automated transformation of behavioural specifications; temporal modelling; temporal analysis; executable format; transition system;
机译:多主体系统的组成验证:对主动性和反应性的形式分析
机译:开发多代理系统MAS以优化自动存储/检索系统中的检索时间
机译:在实践中应用多代理系统技术:SCAD A和数字故障记录器数据的自动化管理和分析
机译:使用多种子体系统技术自动化电力系统数据的分析和管理
机译:多智能体系统的成分反应合成。
机译:具有两阶段分解的分布式多项目调度的多智能体系统
机译:组成多智能体系统的自动化分析