This project focuses on developing scalable algorithms for enabling teams of mobile agents (e.g., UAVs) to cooperatively perform intelligence gathering, surveillance, and reconnaissance tasks. In ...

We show how mutation testing can be used to detect simple and complex errors that are often found in production software. We present a classification of the errors of TEX reported by Knuth. Using this ...