@article{100,
  author = {D. Phan and J. Yang and R. Grosu and S. Smolka and S. Stoller},
  title = {Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles},
  year = {2017},
  journal = {Formal Methods in System Design},
  month = {01/2017},
  language = {eng},
}