RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30 - July 4, 2016] (Springer, 2017)