With recent advances in mobile robotics, autonomous systems, and artificial intelligence,
there is a growing expectation that robots are able to solve complex problems. Many of …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

This article proposes a new highly scalable and asymptotically optimal control synthesis
algorithm from linear temporal logic specifications, called STyLu S* for large-Scale optimal …

Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study
the problem of dynamically coupled multiagent systems under a set of signal temporal logic …

We discuss surveillance with multiple unmanned aerial vehicles (UAV) that minimize
information idleness (the lag between the start of the mission and the moment when the data …

Communication is an important capability for multi-robot exploration because (1) inter-robot
communication (comms) improves coverage efficiency and (2) robot-to-base comms …

This paper considers the problem of distributed state estimation (DSE) using multirobot
systems. The robots have limited communication capabilities and, therefore, communicate …

We consider the problem of optimally allocating tasks, expressed as global linear temporal
logic (LTL) specifications, to teams of heterogeneous mobile robots of different types. Each …

Robotics has dramatically increased our ability to gather data about our environments. This
is an opportune time for the robotics and algorithms community to come together to …

The coordination of robot swarms-large decentralized teams of robots-generally relies on
robust and efficient inter-robot communication. Maintaining communication between robots …