Published March 31, 2025 | Version v2
Dataset Open

Research data accompanying the bachelor's thesis: "Symbolic Representation of Memoryless-Deterministic Schedulers"

Authors/Creators

  • 1. ROR icon TU Dresden
  • 2. Technische Universität Dresden

Contributors

  • 1. ROR icon TU Dresden
  • 2. Technische Universität Dresden

Description

Research data accompanying the bachelor's thesis: "Symbolic Representation of Memoryless-Deterministic Schedulers"

Files

decisiontreemaker.zip

Files (259.6 MB)

Name Size Download all
md5:eb6a01cfd4716fdec5314a204dc23d2e
168.5 MB Preview Download
md5:dff2735fbb3630da6357da3b34b4f8d4
91.1 MB Preview Download

Additional details

Software

Programming language
Python
Development Status
Unsupported