Data

Tools

Indexes

Applications

Experiments

Open Source Science

p7-sudd

Decision Diagrams for use in Jajapy (https://github.com/Rapfff/jajapy)

https://github.com/aau-dat/p7-sudd

Science Score: 67.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 1 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: arxiv.org, researchgate.net, springer.com
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (10.8%) to scientific vocabulary
Last synced: 10 months ago · JSON representation ·

Repository

Decision Diagrams for use in Jajapy (https://github.com/Rapfff/jajapy)

Basic Info
  • Host: GitHub
  • Owner: AAU-Dat
  • License: mit
  • Language: Python
  • Default Branch: main
  • Homepage:
  • Size: 765 MB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 2 years ago · Last pushed over 1 year ago
Metadata Files
Readme License Citation

README.md


[![Pypi](https://img.shields.io/pypi/v/jajapy)](https://pypi.org/project/jajapy/) [![Python 3.6](https://img.shields.io/badge/python-3.6%2B-blue)](https://www.python.org/downloads/release/python-360/) ![PyPI - Wheel](https://img.shields.io/pypi/wheel/aalpy) [![Documentation Status](https://readthedocs.org/projects/jajapy/badge/?version=latest)](https://jajapy.readthedocs.io/en/latest/?badge=latest) [![License](https://img.shields.io/github/license/Rapfff/jajapy)](https://en.wikipedia.org/wiki/MIT_License)

Introduction

jajapy is a python library implementing the Baum-Welch algorithm on various kinds of Markov models. jajapy generates models which are compatible with the Stormpy model checker. Thus, jajapycan be use as a learning extension to the Storm model checker.

Main features

jajapy provides:

| Markov Model | Learning Algorithm(s) | |-------|:-------------:| | MC | Baum-Welch for MCs
Alergia ([ref](https://www.researchgate.net/publication/2543721_Learning_Stochastic_Regular_Grammars_by_Means_of_a_State_Merging_Method/stats)) | | MDP | Baum-Welch for MDPs ([ref](https://arxiv.org/abs/2110.03014))
Active Baum-Welch ([ref](https://arxiv.org/abs/2110.03014))
IOAlergia ([ref](https://link.springer.com/content/pdf/10.1007/s10994-016-5565-9.pdf))| | CTMC | Baum-Welch for CTMCs
Baum-Welch for synchronous compositions of CTMCs| | PCTMC | Baum-Welch for PCTMCs ([ref](https://arxiv.org/abs/2302.08588))| | HMM | Baum-Welch for HMMs ([ref](https://web.ece.ucsb.edu/Faculty/Rabiner/ece259/Reprints/tutorial%20on%20hmm%20and%20applications.pdf)) | | GoHMM | Baum-Welch for GoHMMs ([ref](http://www.inass.org/2020/2020022920.pdf)) |

jajapy is compatible with Prism and Storm.

Installation

pip install jajapy

Requirements

Documentation

Available on readthedoc

About the author

My website

Owner

  • Name: AAU-Dat
  • Login: AAU-Dat
  • Kind: organization

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Reynouard"
  given-names: "Raphaël"
title: "jajapy"
version: 0.10
date-released: 2023-03-01
url: "https://github.com/Rapfff/jajapy"
license: MIT

GitHub Events

Total
  • Issues event: 2
  • Delete event: 8
  • Push event: 7
  • Pull request event: 6
  • Create event: 13
Last Year
  • Issues event: 2
  • Delete event: 8
  • Push event: 7
  • Pull request event: 6
  • Create event: 13

Issues and Pull Requests

Last synced: 10 months ago

All Time
  • Total issues: 1
  • Total pull requests: 2
  • Average time to close issues: 9 days
  • Average time to close pull requests: less than a minute
  • Total issue authors: 1
  • Total pull request authors: 1
  • Average comments per issue: 0.0
  • Average comments per pull request: 0.0
  • Merged pull requests: 2
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 1
  • Pull requests: 2
  • Average time to close issues: 9 days
  • Average time to close pull requests: less than a minute
  • Issue authors: 1
  • Pull request authors: 1
  • Average comments per issue: 0.0
  • Average comments per pull request: 0.0
  • Merged pull requests: 2
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
  • Daniel-Runge (1)
Pull Request Authors
  • sebastianbot6969 (2)
Top Labels
Issue Labels
Pull Request Labels

Dependencies

dev_requirements.txt pypi
  • pytest ==7.4.2 development
requirements.txt pypi
  • alive-progress ==3.1.4
  • numpy ==1.26.0
  • scipy ==1.11.2
  • sympy ==1.12
setup.py pypi
  • numpy *