Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.

Matt Luckcuck, Rafael C. Cardoso

Browse the full EMAS paper archive.