The ProB Model Checker and Animator Plugin for Rodin

Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

Samba Password Client - change your password on fileserver

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

Bachelor's thesis project Mario Surleont