Skip to main navigation
Skip to search
Skip to main content
University of Bristol Home
Help & Terms of Use
Home
Profiles
Research units
Research Outputs
Projects
Student theses
Datasets
Activities
Prizes
Facilities/Equipment
Search by expertise, name or affiliation
Trustworthy Systems Laboratory
Overview
Fingerprint
Network
Profiles
(1)
Research Outputs
(40)
Projects
(1)
Student theses
(2)
Datasets
(1)
Research output
Research output per year
2017
2017
2020
2022
2023
2024
2024
17
Conference Contribution (Conference Proceeding)
17
Article (Academic Journal)
3
Conference Paper
3
Preprint
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Preprint
Search results
2024
A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms
Abeywickrama, D. B.,
Lee, S.
,
Bennett, C.
,
Abu-Aisheh, R.
, Didiot-Cook, T.,
Jones, S.
,
Hauert, S.
&
Eder, K.
,
22 Jul 2024
.
Research output
:
Working paper
›
Preprint
File
Robot
100%
Swarm Robotics
100%
Validation Method
33%
Formal Verification
33%
Emergent Behavior
33%
2023
Assessing Trustworthiness of Autonomous Systems
Chance, G., Abeywickrama, D. B., LeClair, B., Kerr, O. &
Eder, K. I.
,
11 May 2023
,
arXiv.org
.
Research output
:
Working paper
›
Preprint
Open Access
Autonomous System
100%
Development Community
14%
2021
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor
Georgiou, K., Chamski, Z., Nikov, K. &
Eder, K.
,
2 Apr 2021
, (Unpublished)
10 p.
Research output
:
Working paper
›
Preprint
File
75
Downloads (Pure)