Showing 1 - 1 of 1 UKAEA Paper Results
2023
UKAEA-RACE-CP(23)08
B. Devlin-Hill R. Calinescu J. Cámara I. Caliskanelli
Many complex domains would benefit from the services of Large-scale, Safety-verified, Always-on (LSA) robotic systems. However, existing large-scale solutions often forego the complex reasoning required for safety verification and prescient reasoning in favour of scalability. We propose a method of partitioning the task domain to enable scalabil…
Purchase