modest

In 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.

python scheduling model-checking modest timed-automata

Updated Mar 12, 2022
HTML

Improve this page

Add a description, image, and links to the modest topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the modest topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

modest

Here are 4 public repositories matching this topic...

adnaan / gomodest-starter

tiaanduplessis / react-native-modest-storage

Azq2 / perl-html5-dom

KilianBerlo / Battery-Aware-Experiment-Scheduling

Improve this page

Add this topic to your repo