Sökning: "Ye Leng"

Hittade 1 uppsats innehållade orden Ye Leng.

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

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Ye Leng; [2022]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER