Xiaoming Zheng Sven Koenig Robot coverage of terrain with non-uniform traversability. 3757-3764 2007 IROS https://doi.org/10.1109/IROS.2007.4399423 conf/iros/2007 db/conf/iros/iros2007.html#ZhengK07