Graph-based Simultaneous Coverage and Exploration Planning for Fast Multi-robot Search. - Indraneel Patil; Rachel Zheng; Charvi Gupta; Jaekyung Song; Narendar Sriram; Katia P. Sycara (CoRR, 2023)