Engineering Multi-Agent Systems
Springer International Publishing
Chapter title |
Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest
|
---|---|
Book title |
Engineering Multi-Agent Systems
|
Published by |
Springer, Cham, March 2022
|
DOI | 10.1007/978-3-030-97457-2_12 |
Book ISBNs |
978-3-03-097456-5, 978-3-03-097457-2
|
Authors |
Luckcuck, Matt, Cardoso, Rafael C., Cardoso, Rafael C |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Type | Count | As % |
---|---|---|
Scientists | 1 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 3 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Researcher | 2 | 67% |
Other | 1 | 33% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 100% |