SCS Undergraduate Thesis Topics

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