Dung Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller. Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods in System Design, 51(1):62-86, 2017. [doi]
Abstract is missing.