GitHub repository: AAU-Dat/CuPAAL
Primary language: C++
Created: 2024-10-04T11:48:31Z
Description: Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library