In this article, we propose a novel safety specification tool, called the distributionally robust risk map (DR-risk map), for mobile robot operating in learning-enabled environment. Given robot's position, map aims to reliably assess conditional value-at-risk (CVaR) of collision with obstacles ...