A toolbox for worst-case validation of autonomous policies - View it on GitHub