An exploration task can be performed by a team of mobile robots more efficiently than
human counterparts. They can access and give live updates for hard-to-reach areas such as …

This work presents an optimization-based control synthesis approach for an extension of
Signal Temporal Logic (STL) called weighted Signal Temporal Logic (wSTL). wSTL was …

We propose a new robustness score for continuous-time Signal Temporal Logic (STL)
specifications. Instead of considering only the most severe point along the evolution of the …

This paper is concerned with the distributed event-triggered based consensus problem of
multiple underactuated surface vessels. The considered vehicles are underactuated where …

We address the problems of bearing-only consensus and formation control, where each
agent can only measure the relative bearings of its neighbors and relative distances are not …

There has been an increasing interest in visual sensors and vision-based solutions for
single and multi-robot systems. Vision-based sensors, eg, traditional RGB cameras, grant …