moves-rwth / optimal-bias-synthesis Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Synthesizing Optimal Bias in Randomized Self-Stabilizing Algorithms

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
models		models
scripts		scripts
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Synthesizing Optimal Bias in Randomized Self-Stabilizing Algorithms

Structure

scripts contains the scripts to perform parameter synthesis for randomized self-stabilizing algorithms.
models provides the model files for the different self-stabilizing algorithms.

About

Synthesizing Optimal Bias in Randomized Self-Stabilizing Algorithms

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages