This repository contains experiments to shsa-prolog for the SASO 2019 paper: "Fault Detection exploiting Implicit Redundancy with Uncertainties in Space and Time"
This is a ROS package that needs our robot Daisy to run the launch files. However, for the experiments on fault detection which have been performed offline see the scripts.
A Docker image is provided for convenience.