Extending SATPLAN to Multiple Agents (Q3076944)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending SATPLAN to Multiple Agents |
scientific article |
Statements
Extending SATPLAN to Multiple Agents (English)
0 references
25 February 2011
0 references
multi-agent planning
0 references
individual goals
0 references
SATPLAN
0 references
\(\mu\)-SATPLAN
0 references
coordination algorithm
0 references
