kilianberlo / battery-aware-experiment-scheduling Goto Github PK
View Code? Open in Web Editor NEWIn this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-aware experiment schedules for the GOMX-3 nanosatellite.