| Title | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Phan, D., Yang J., Grosu R., Smolka S. A., and Stoller S. D. |
| Journal | Formal Methods in System Design |
| Date Published | 01/2017 |
