Discover projects, groups and snippets. Share your projects with others
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Bachelor's thesis project Mario Surleont
The ProB Model Checker and Animator Plugin for Rodin
Unofficial implementation of the HHU slide deck in the corporate design
portal in LaTeX.
R Interface to C API of GLPK, needs GLPK Version >= 4.42
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.