SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Annika Peterson Andre Platzer Formal Verification of a Controlled Flight Between Two Robots: A Case Study