Skip to content

Conversation

@TheGreatfpmK
Copy link
Collaborator

@TheGreatfpmK TheGreatfpmK commented Oct 6, 2025

This update add our UAI'25 algorithm dtNest into PAYNT. This PR is from the new series of making sure our algorithms make sense in our file structure :D

This PR adds:

  • dtNest and related features like:
    • parsing of dtControl trees
    • subtree manipulation for DecisionTree class
    • export of schedulers with only relevant states
    • dtControl dependency (TODO)
  • parsing for JANI models from Storm

Still TODO:

  • update dependencies to include dtControl, this will require new update for dtControl (I will ask Debraj)
  • cleanup the dtNest file
  • add CLI option for dtNest
  • potentially split away dtNest only stuff from MdpQuotient? Discuss new file structure.

@TheGreatfpmK TheGreatfpmK requested a review from randriu October 6, 2025 16:28
@TheGreatfpmK TheGreatfpmK added the enhancement New feature or request label Dec 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant