Model Checking for Turstworthy Reasoning in Autonomous Driving

2012 12 6994 2 41341 document 6994 README.txt text/plain 0409e825f022c6ddbb5b93d054fc155b MD5 3210 2025-07-08 08:55:09 https://researchdata.gla.ac.uk/2012/1/README.txt 2012 1 1 text/plain Text en public cc_by_4

README.txt

readme 7004 1 41441 document 7004 indexcodes.txt text/plain e2998d705fe11c6e318339bdaeacc5cb MD5 904 2025-07-13 09:35:18 https://researchdata.gla.ac.uk/2012/2/indexcodes.txt 2012 2 2 text/plain other Generate index codes conversion from Text to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.gla.ac.uk/id/document/6994 http://eprints.org/relation/isVolatileVersionOf https://researchdata.gla.ac.uk/id/document/6994 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.gla.ac.uk/id/document/6994 archive 32963 disk0/00/00/20/12 2025-07-08 08:54:57 2025-07-13 09:35:06 2025-07-08 08:54:57 data_collection show Chandler Christopher 57270 glaresearchdata:2025-07-07-2012 Model Checking for Turstworthy Reasoning in Autonomous Driving pub 25500000 30200000 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. 2025-07-07 published University of Glasgow 10.5525/gla.researchdata.2012 Mixed University of Glasgow 303764 EPSRC CDT - Socially Intelligent Artificial Agents Alessandro Vinciarelli Engineering and Physical Sciences Research Council (EPSRC) EP/S02266X/1 Computing Science FALSE English 2023-07 2024-08 https://doi.org/10.48550/arXiv.2311.09780 preprint 2035-07-07 R FALSE TRUE