Work

Verifying Multi-agent Programs by Model Checking

Year: 2006

Type: article

Source: Autonomous Agents and Multi-Agent Systems

DOI: 10.1007/s10458-006-5955-7

Authors: Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge

Institutions: Durham University, University of Liverpool, Ames Research Center, Research Institute for Advanced Computer Science

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2095156325

FWCI: 11.51

Cites: 48

Cited by: 163

Related to: 10