Workshop Banner  
Home
Call for papers
Important dates
Accepted papers
Schedule
Invited speakers
Organization
Sponsors
Contacts
 

List of accepted papers:

Of ants and elephants
Asaf Shiloni, Noa Agmon, and Gal A. Kaminka

Investigations of multi-robot systems often make implicit assumptions concerning the computational capabilities of the robots. Despite the lack of explicit attention to the computational capabilities of robots, two computational classes of robots emerge as the focal points of recent research: Robot Ants and robot Elephants. Ants have poor memory and communication capabilities, but are able to communicate using pheromones, in effect turning their work area into a shared memory. By comparison, Elephants are computationally stronger, have large memory, and are equipped with strong sensing and communication capabilities. Unfortunately, not much is known about the relation between the capabilities of these models in terms of the tasks they can address. In this paper, we present formal models of both Ants and Elephant, and investigate if one dominates the other. We present two algorithms: AntEater, which allows Elephant robots to execute ant algorithms; and ElephantGun, which converts elephant algorithms—specified as Turing machines—into ant algorithms. By exploring the computational capabilities of these algorithms, we reach interesting preliminary results regarding the computational power of both models.

Multi-robot systems optimization and analysis using MILP and CLP
Christian Reinl, Florian Ruh, Frieder Stolzenburg, and Oskar von Stryk
Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL
Max Risler and Oskar von Stryk
Combining supervisory control of discrete event systems and reinforcement learning to control MRS
Goncalo Neto and Pedro U. Lima
A temporal logic for multi-agent MDP's
Wojciech Jamroga
Greedy approaches for solving task-allocation problems with coalitions
Xiaoming Zheng and Sven Koenig
A fast conjunctive resampling particle filter for collaborative multi-robot localization
Andrea Gasparri, Stefano Panzieri, and Federica Pascucci

The camera-ready format instructions can be found here.