Chandler, C. (2025) Model Checking for Turstworthy Reasoning in Autonomous Driving. [Data Collection]
Datacite DOI: 10.5525/gla.researchdata.2012
Not all data is available to download from this page. Usually this is because the dataset is too large or it is restricted in some way.
Collection description
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.
| Funding: |
|
|---|---|
| College / School: | College of Medical Veterinary and Life Sciences > School of Psychology and Neuroscience College of Science and Engineering > School of Computing Science |
| Date Deposited: | 08 Jul 2025 08:54 |
| Related resources: | |
| URI: | https://researchdata.gla.ac.uk/id/eprint/2012 |
Repository Staff Only: Update this record