University of Minnesota UAS Laboratories
Users following UASLab
Chris Kuethe
ckuethe
PGP 0xF5C2BC1187106528
🕵🏻♂️👨🏻💻🌎🕊️🛰️
Less than 30cm away from where I was a nanosecond ago.
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
