Updated 6 months ago

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

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