Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

Sampling-Based Abstractions
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

369577a4

Commit 369577a4 authored 2 years ago by Thom Badings

Downloads
- Patches
- Plain Diff

added refinement scheme

parent 0e051484

No related branches found

No related tags found

1 merge request!2Merged

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

RunFile.py 63 additions, 23 deletions

RunFile.py
core/abstraction.py 45 additions, 21 deletions

core/abstraction.py
core/abstraction_default.py 33 additions, 14 deletions

core/abstraction_default.py
core/abstraction_epistemic.py 7 additions, 5 deletions

core/abstraction_epistemic.py
core/block_refinement.py 63 additions, 0 deletions

core/block_refinement.py
core/compute_probabilities.py 33 additions, 61 deletions

core/compute_probabilities.py
core/create_iMDP.py 48 additions, 19 deletions

core/create_iMDP.py
core/monte_carlo.py 10 additions, 5 deletions

core/monte_carlo.py
core/spec_definitions.py 1 addition, 1 deletion

core/spec_definitions.py

with 303 additions and 149 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment