 A Verification Methodology for Safety Assurance of Robotic Autonomous SystemsTowards Autonomous Robotic Systems (TAROS), 2025 |
 Ensuring trustworthy and ethical behaviour in intelligent logical agentsItalian Conference on Computational Logic (CILC), 2024 |
 Autonomous Navigation for Robot-assisted Intraluminal and Endovascular
Procedures: A Systematic ReviewIEEE Transactions on robotics (TRO), 2023 |
 Consent as a Foundation for Responsible AutonomyAAAI Conference on Artificial Intelligence (AAAI), 2022 |
