https://github.com/aau-dat/cupaal
Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.0%) to scientific vocabulary
Keywords
Repository
Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 8
- Releases: 0
Topics
Metadata Files
README.md
Dependencies
This project relies on the CUDD library for the implementation of ADDs, and the Storm library for parsing Prism models
There are two immediate options for developing this library. Either you
- Install Storm on your machine, which includes CUDD (Recommended, Linux)
- Use the supplied devcontainer built on the storm image (Windows)
Usage
To use cupaal from the terminal, we support the following commands:
| Option | Required | Description | Defaults |
|-----------------------|----------|------------------------------------------------------------------------|----------|
| -m / --model | Yes | Path to the file containing the model description | |
| -s / --sequences | Yes | Path to the file containing observation sequences | |
| -i / --iterations | No | Maximum number of iterations for Baum-Welch | 100 |
| -e / --epsilon | No | Convergence criterion; stops if likelihood change is smaller than this | 1e-2 |
| -t / --time | No | Max time to run in seconds; no new iterations after this | 240 |
| -o / --output | No | Name of the file to save the resulting model | |
| -r / --results | No | Name of the file to save the experimental results | |
Docker
To run an example experiment for comparing jajapy and cupaal, you only need the dockerfile, compose.yaml, and a provided in this repository, and a PRISM file.
The following docker compose command will create a bind mount folder containing the results.
shell
docker compose up --build
Owner
- Name: AAU-Dat
- Login: AAU-Dat
- Kind: organization
- Repositories: 4
- Profile: https://github.com/AAU-Dat
GitHub Events
Total
- Issues event: 44
- Delete event: 27
- Issue comment event: 4
- Push event: 59
- Pull request review event: 4
- Pull request event: 45
- Create event: 27
Last Year
- Issues event: 44
- Delete event: 27
- Issue comment event: 4
- Push event: 59
- Pull request review event: 4
- Pull request event: 45
- Create event: 27
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 24
- Total pull requests: 15
- Average time to close issues: 25 days
- Average time to close pull requests: about 5 hours
- Total issue authors: 2
- Total pull request authors: 3
- Average comments per issue: 0.08
- Average comments per pull request: 0.0
- Merged pull requests: 11
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 24
- Pull requests: 15
- Average time to close issues: 25 days
- Average time to close pull requests: about 5 hours
- Issue authors: 2
- Pull request authors: 3
- Average comments per issue: 0.08
- Average comments per pull request: 0.0
- Merged pull requests: 11
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- Daniel-Runge (24)
- Actam55 (2)
Pull Request Authors
- Daniel-Runge (15)
- Actam55 (4)
- sebastianbot6969 (2)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- ubuntu 24.04 build