@conference {,
	title = {Collision-Free 3D Flocking Using the Distributed Simplex Architecture},
	booktitle = {Proceedings of ISoLA Extra in Rhodes},
	year = {2021},
	month = {10/2021},
	author = {U. Mehmood and R. Grosu and S. A. Smolka and S. D. Stoller}
}
@article {,
	title = {Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles},
	journal = {Formal Methods in System Design},
	year = {2017},
	month = {01/2017},
	author = {D. Phan and J. Yang and R. Grosu and S. A. Smolka and S. D. Stoller}
}
