@@ -9,6 +9,6 @@ You can find a detailed thesis on the development of the tool [here](https://www
HYPEG has recently been extended to support non-linear continuous behavior via state space discretization (version 2.0).
Non-linear ordinary differential equations are supported on the dynamicapprox branch.
Finding optimal schedulers in nondeterministic models is supported on the schedulingML branch, for more information visit the [scheduling section](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/scheduling)
Finding optimal schedulers in nondeterministic models is supported on the schedulingML branch, for more information visit the [scheduling section](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/scheduling).
[Start here to learn more](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/getting-started)
