Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2106.04512
Cited By
v1
v2 (latest)
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
8 June 2021
Matt Luckcuck
R. C. Cardoso
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest"
2 / 2 papers shown
Modelling the Turtle Python library in CSP
Dara MacConville
M. Farrell
Matt Luckcuck
Rosemary Monahan
91
3
0
20 Jul 2022
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
R. C. Cardoso
Angelo Ferrando
Fabio Papacchini
Matt Luckcuck
Sven Linker
Terry R. Payne
LLMAG
216
3
0
15 Oct 2021
1
Page 1 of 1
