Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
-
-
ProB Modelling Examples as Jupyter Notebooks.
-
Samba Password Client - change your password on fileserver
-
-
-
-
-
-
-
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.
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
-
-
-
-