Essays about: "Ye Leng"

Found 1 essay containing the words Ye Leng.

  1. 1. A model checking tool for dynamic multi-agent systems

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Ye Leng; [2022]
    Keywords : ;

    Abstract : A multi-agent system (MAS) is a system composed of multiple interacting agents which can perform actions in a competitive environment. Among the theoretical framework which model MAS, we focus on named homogeneous and dynamic multi-agent system (HDMAS) first presented in [1]. HDMAS has two significant features: 1. READ MORE