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.AI2025
Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
Nijesh Upreti, Jessica Ciupa, Vaishak Belle
A computational ethics framework is essential for AI and autonomous systems operating in complex, real-world environments. Existing approaches often lack the adaptability needed to…