Communication Policies in Heterogeneous Multi-Agent Systems in Partially Known Environments under Temporal Logic Specifications ?

摘要

In this paper, we explore communication protocols between two or more agents in an initially partially known environment. We assume two types of agents(AandB), where an agent of TypeAconstitutes an information source (e.g., a mobile sensor) with its own local objective expressed in temporal logic, and an agent of TypeBconstitutes an agent that accomplishes its own mission (e.g., search and rescue mission) also expressed in temporal logic. An agent of TypeBrequests information from an agent of TypeAto update its knowledge about the environment. In this work, we develop an algorithm that is able to verify if a communication protocol exists, for any possible initial plan executed by an agent of TypeB.