Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 9 months ago

https://github.com/aau-dat/p9-bw-add • Science 13%

This is the 9th semester project for implementing the Baum-Welch (BW) algorithm using Algebraic Decision Diagrams (ADD).

Updated 9 months ago

https://github.com/aau-dat/cupaal • Science 26%

Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library