TrimBot2020: an outdoor robot for automatic gardening. - Nicola Strisciuglio; Radim Tylecek; Nicolai Petkov; Peter Bieber; Jochen Hemming; Eldert J. van Henten; Torsten Sattler; Marc Pollefeys; Theo Gevers; Thomas Brox; Robert B. Fisher (CoRR, 2018)