Explore projects

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).

Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper

Generate parsers using SableCC as part of a Gradle build

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

TBA

Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

The ProB Model Checker and Animator Plugin for Rodin