Abstract: Robots operating in safety-critical environments must reason under uncertainty and novel situations. However, recent advances in data-driven perception have made it challenging to provide formal safety guarantees, particularly when systems encounter out-of-distribution or previously unseen inputs. For such systems to be safely deployed in the real world, we need to incorporate safety considerations alongside [...]