Work

Performance Evaluation of Temporal Epistemic Property for Multi-Agent System

Year: 2024
Type: article
Abstract: 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.
Language: English
Open Access status: diamond
OpenAlex ID: W4405729993
FWCI:
Cites:
Cited by:
Related to: 10