GitHub repository: AAU-Dat/P10-Thesis
Primary language: TeX
Created: 2025-02-12T11:15:21Z
Description: This is the final semester project at Aalborg University. We develop CuPAAL version 2.0, implementing the Baum-Welch algorithm for Hidden Markov Models and Markov Decision Processes.