Automated Environment Reduction for Debugging Robotic Systems | IEEE Conference Publication | IEEE Xplore