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.
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.
Available Versions of this Item
Repository Staff Only: item control page