SAT Competition 2016 : Recent Developments

Non peer reviewe

Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering

We introduce multi-goal multi agent path finding (MAPF$^{MG}$) which generalizes the standard discrete multi-agent path finding (MAPF) problem. While the task in MAPF is to navigate agents in an undirected graph from their starting vertices to one individual goal vertex per agent, MAPF$^{MG}$ assigns each agent multiple goal vertices and the task is to visit each of them at least once. Solving MAPF$^{MG}$ not only requires finding collision free paths for individual agents but also determining the order of visiting agent's goal vertices so that common objectives like the sum-of-costs are optimized. We suggest two novel algorithms using different paradigms to address MAPF$^{MG}$: a heuristic search-based search algorithm called Hamiltonian-CBS (HCBS) and a compilation-based algorithm built using the SMT paradigm, called SMT-Hamiltonian-CBS (SMT-HCBS). Experimental comparison suggests limitations of compilation-based approach

A Microscopic-view Infection Model based on Linear Systems

Understanding the behavior of an infection network is typically addressed from either a microscopic or a macroscopic point-of-view. The trade-off is between following the individual states at some added complexity cost or looking at the ratio of infected nodes. In this paper, we focus on developing an alternative approach based on dynamical linear systems that combines the fine information of the microscopic view without the associated added complexity. Attention is shifted towards the problems of source localization and network topology discovery in the context of infection networks where a subset of the nodes is elected as observers. Finally, the possibility to control such networks is also investigated. Simulations illustrate the conclusions of the paper with particular interest on the relationship of the aforementioned problems with the topology of the network and the selected observer/controller nodes