The dataset contains raw data for my PhD thesis which investigates the use of real-time model checking on a low-powered robot for explainable, online decision making which is energy efficient.  It includes data for preliminary results, which validated the initial result.  It also includes data for a follow-up case study which investigated the reliability of the approach in a more robust manner.  The dataset also included a case study investigating an extension to the method to accommodate goal-directed behaviour.