In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …

Distributed problem solving involves the collective effort of multiple problems solvers to
combine their knowledge, information, and capabilities so as to develop solutions to …

In this paper, we consider the robust interpretation of metric temporal logic (MTL) formulas
over timed sequences of states. For systems whose states are equipped with nontrivial …

A traditional approach for planning is to evaluate goal statements over state trajectories
modeling predicted behaviors of an agent. This paper describes a powerful extension of this …

In order to model plan coordination behavior of agents we develop a simple framework for
representing plans, resources and goals of agents. Plans are represented as directed …

We address the problem of constructing multiagent systems by coordinating autonomous
agents, whose internal designs may not be fully known. We develop a customizable …

An essential quality of a good partner is her responsiveness to other team members. Recent
work in dynamic plan execution exhibits elements of this quality through the ability to adapt …

We present a framework that enables online planning for robotic systems in dynamic
environments. The PLANrm framework presented in this work utilizes the theory of …

I envision a future where collaboration between humans and robots will be indispensable to
our work in numerous domains, ranging from surgery to space exploration. The success of …

We present a novel approach to multiagent planning, and describe some preliminary results
obtained with an implementation of this approach. The approach is novel in three respects …