Power to the People. Verified.

Our work on battery-aware scheduling for nano satellites wins the best paper award at the 21st International Symposium on Formal Methods.