Rapfff/jajapy

Baum-Welch for all kind of Markov models

29
/ 100
Experimental

This library helps researchers and engineers who work with probabilistic systems to automatically build detailed models of how these systems behave. By inputting sequences of observations or interactions, it outputs various types of Markov models like Hidden Markov Models (HMMs) or Markov Decision Processes (MDPs) that accurately represent the underlying system dynamics. This is especially useful for those performing formal verification or performance analysis.

No commits in the last 6 months.

Use this if you need to learn the parameters and structure of complex stochastic models from observed data, particularly when working with model checking tools like Storm or Prism.

Not ideal if you are looking for a general-purpose machine learning library or if your problem doesn't involve formal verification or probabilistic model analysis.

formal-verification probabilistic-modeling system-analysis stochastic-processes model-checking
Stale 6m No Package No Dependents
Maintenance 0 / 25
Adoption 6 / 25
Maturity 16 / 25
Community 7 / 25

How are scores calculated?

Stars

23

Forks

2

Language

Python

License

MIT

Last pushed

Apr 07, 2024

Commits (30d)

0

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/Rapfff/jajapy"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.