We present a computational framework for automatic synthesis of control and
communication strategies for a robotic team from task specifications that are given as regular …

Answer set programming (ASP) emerged in the late 1990s as a new logic programming
paradigm that has been successfully applied in various application domains. Also motivated …

We focus on decomposing large multi-agent path planning problems with global temporal
logic goals (common to all agents) into smaller sub-problems that can be solved and …

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is
at the center of many research papers, partly because of the tremendous performance boost …

We identify a network of sequential processes that communicate by synchronizing frequently
on common actions. More precisely, we demand that there is a bound k such that if the …

We consider the distributed control problem in the setting of Zielonka asynchronous
automata. Such automata are compositions of finite processes communicating via shared …

This research concerns a novel micro-ducted-fan aircraft. A structured attitude controller is
designed for a novel unmanned aerial vehicle in the presence of strong state coupling and …

We present a computational framework for automatic synthesis of control and
communication strategies for a robotic team from task specifications given as regular …

We study the synthesis problem for external linear or branching specifications and
distributed, synchronous architectures with arbitrary delays on processes. External means …

We address the problem of autonomously classifying objects from the sounds they make
when struck, and present results from different attempts to classify various items. We extract …