The University of Sheffield
5 files

Modelling Uncertainty in State Based Systems

Version 2 2021-10-14, 14:26
Version 1 2021-03-25, 11:06
posted on 2021-10-14, 14:26 authored by Neil WalkinshawNeil Walkinshaw, Robert HieronsRobert Hierons
A diverse set of state machines, which were used for the basis of two experiments, to investigate the value of Subjective Logic State Machines.

This repository includes:

* A curated set of state machines, encoded into dot files (sources in submitted paper).

* A jar version of the Mint tool, which included the test prioritisation and state machine inference code.

* CSV files containing the accuracy results and prioritisation results data.

* R scripts used to analyse the results data and to generate the various figures for the paper.


CITCoM: Casual Inference for Testing of Computational Models

Engineering and Physical Sciences Research Council

Find out more...



  • There is no personal data or any that requires ethical approval


  • The data complies with the institution and funders' policies on access and sharing

Sharing and access restrictions

  • The data can be shared openly

Data description

  • The file formats are open or commonly used

Methodology, headings and units

  • Headings and units are explained in the files