Work

Verifiable Multi-agent Programs

Year: 2004

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-25936-7_4

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

Institutions: 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: closed

OpenAlex ID: W1499970290

FWCI: 3.32

Cites: 34

Cited by: 34

Related to: 10