摘要：AbstractIn 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.
关键词：KeywordsFormal MethodsMulti-agent SystemsTemporal LogicDistributed ContolDiscrete Event Systems
