This organization is a repository hub for semester projects for Datalogi-2020 at AAU and tools shared between them.
AAU-Dat
Pinned Loading
Repositories
Showing 10 of 28 repositories
- P10-Curdleproofs Public
- P10-Thesis Public
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.
- P9-BW-ADD Public
This is the 9th semester project for implementing the Baum-Welch (BW) algorithm using Algebraic Decision Diagrams (ADD).
- project-template Public template
Project template for AAU semester projects. Setup for LaTeX with IntelliJ and VS Code.
- curdleproofsplus Public
- giovanni-notes Public
- cudd Public Forked from ssoelvsten/cudd
CUDD: CU Decision Diagram package - with CMake and extended C++
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…