A general formal framework for multi-agent meeting problems

İzmirlioğlu, Yusuf and Pehlivan, Bahadır Ali and Turp, Mısra and Erdem, Esra (2017) A general formal framework for multi-agent meeting problems. In: IEEE International Conference on Robotics and Automation (ICRA 2017), Singapore

This is the latest version of this item.

[img]PDF - Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1109/ICRA.2017.7989153


The multi-agent meeting (MAM) problem asks for a meeting location for multiple heterogeneous agents such that the agents can get together within a given time or budget, possibly using different modes of transportation, subject to some constraints and preferences to visit specific locations on their ways to the meeting location. We mathematically model MAM as a graph problem, prove its intractability, and introduce a novel formal method to solve it and its variations using logic-based AI methods. We experimentally evaluate our approach with artificial benchmarks randomly generated over a grid, and show its real world applicability with instances generated over maps of Istanbul and Hong Kong.

Item Type:Papers in Conference Proceedings
ID Code:33936
Deposited By:Esra Erdem
Deposited On:13 Sep 2017 09:39
Last Modified:13 Sep 2017 09:39

Available Versions of this Item

Repository Staff Only: item control page