Software Production Process for Safety Critical Software
Statistical Algorithm for Attitude Estimation from Real-Time Aerial Video
Search Algorithm for Teams of Heterogeneous Agents with Coverage Guarantees
Prototyping a Domain-Specific Language for Monitor and Control Systems