This repository deals with the data exploration of the data contained in D-BAS.
This is a short example for requesting data with neo4j-driver in a node.js project.
Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
The ProB Model Checker and Animator Plugin for Rodin