Performance Evaluation of Temporal Epistemic Property for Multi-Agent System

This paper introduces a new performance evaluation language MAEL (Multi-Agent Evaluation Language). Compared to traditional evaluation methods, MAEL incorporates the epistemic logic, enabling precise descriptions of the interactions, collaborations among agents, as well as their epistemic states of the environment. Through knowledge operators, MAEL can express the agents' knowledge of the system's state. This paper demonstrates the advantages of MAEL in analyzing performance aspects such as safety and efficiency through a case study of an autonomous vehicle platoon.