Roadmap-based techniques for modeling group behaviors in multi-agent systems. Vol. Doctor of philosophy. Texas A&M University, 2012.