TY - JOUR
AU - D. Phan
AU - J. Yang
AU - R. Grosu
AU - S. Smolka
AU - S. Stoller
BT - Formal Methods in System Design
DA - 01/2017
LA - eng
PY - 2017
T2 - Formal Methods in System Design
TI - Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles
ER -