AIAA SciTech"/> AIAA SciTech"/>
@InProceedings{bobadilla2015scitech, Title = {Verified Planar Formation Control Algorithms by Composition of Primitives}, Author = {Leonardo Bobadilla and Taylor T. Johnson and Amy LaViers and Umer Huzaifa}, Booktitle = {<a href="http://www.aiaa-scitech.org/">AIAA SciTech</a>}, Year = {2015}, Address = {Kissimmee, Florida}, Month = jan, Publisher = {AIAA}, Owner = {tjohnson}, Timestamp = {2014.08.22}, pdf = {http://www.taylortjohnson.com/research/bobadilla2015scitech.pdf}, }