Techniques in Multi-Robot Area Coverage | AMiner