A general formal framework for multi-agent meeting problems

Warning The system is temporarily closed to updates for reporting purpose.

İ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.

[thumbnail of ICRA17_1009_MS_(4).pdf] PDF
ICRA17_1009_MS_(4).pdf
Restricted to Repository staff only

Download (792kB) | Request a copy

Abstract

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
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Esra Erdem
Date Deposited: 13 Sep 2017 09:39
Last Modified: 26 Apr 2022 09:28
URI: https://research.sabanciuniv.edu/id/eprint/33936

Available Versions of this Item

Actions (login required)

View Item
View Item