Tools

Jajapy

Language: Python
Source code - Documentation
2022

jajapy is a python library implementing the Baum-Welch algorithm on various kinds of Markov models.

  • Learning HMMs, MCs, MDPs and CTMCs from traces.
  • Parameter estimation for synchronous composition of CTMCs.
  • Parameter estimation for PCTMCs.
  • Compatibility with Prism and Storm.