Workshop Banner  
Call for papers
Important dates
Accepted papers
Invited speakers

List of accepted papers:

Of ants and elephants
Asaf Shiloni, Noa Agmon, and Gal A. Kaminka
Multi-robot systems optimization and analysis using MILP and CLP
Christian Reinl, Florian Ruh, Frieder Stolzenburg, and Oskar von Stryk

Formal methods for multi-robot system analysis, especially logic-based methods, operate on discrete models. Optimization methods for simultaneous trajectory and task allocation, namely mixed integer dynamic optimization, operate on hybrid dynamical models which take into account a model of the motion dynamics of the physical robot. In this paper, ongoing work towards a coherent treatment of both approaches is described. A benchmark problem from robot soccer is introduced and used as an illustrative example.

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.