Explore projects

A template for LLNCS papers with GitLab CI integration.

CPrAA - A Checker for Probabilistic Abstract Argumentation

An implementation of the buffer protocol for unicode strings.

Shared React components for pseuCo apps.

A server-side implementation of the jani-interaction protocol written in Go.

The JANI front-end module for the LTSmin toolset

Verification 2018-2019, template project

A helper library for handwritten parsers.

Supplement material and test results for the paper "Admissibility in Probabilistic Argumentation".

A Python wrapper around the Oniguruma regular expression library.

A python script to translate Jani MDP models to PPDDL.