Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest (2021)

First Author: Luckcuck M
Attributed to:  Future AI and Robotics Hub for Space (FAIR-SPACE) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://emas2021.in.tu-clausthal.de/index.php/accepted-papers

Type: Conference/Paper/Proceeding/Abstract