This video shows the results of our paper titled "DoS-Resilient Multi-Robot Temporal Logic Motion Planning". This paper addresses the problem of how to design trajectories for a team of robots when operating in adversarial environments with denial-of-service (communication jammers) exist. The robots must maintain a multi-hop communication with the base stations at all time. We use a Satisfiability Modulo Convex (SMC) Programming solver to generate those trajectories.

свернуть