Safety Critical Systems
Robot safety guarantees can come at the cost of slower navigation. For example, autonomous delivery robots often encounter situations where they become hopelessly stuck and require human assistance. Therefore, we are interested in developing algorithms that guarantee safety while accelerating multi-robot navigation tasks.