2 papers
cs.LO2026
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
Alistair Sirman, Fleur Conway, Jessica Ciupa +7
Neural network controllers for autonomous decision-making are well-established in cyber-physical systems, yet their deployment in safety-critical healthcare settings remains largel…
cs.CY2024
An AIC-based approach for articulating unpredictable problems in open complex environments
Haider AL-Shareefy, Michael Butler, Thai Son Hoang
This research paper presents an approach to enhancing the predictive capability of architects in the design and assurance of systems, focusing on systems operating in dynamic and u…