17 citations · 26 across the 6 of their papers we have counts for
4 papers · 1 filter
Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking
Atef Azaiez, David Alireza Anisi
Safety and reliability play a crucial role when designing Robotic Autonomous Systems (RAS). Early consideration of hazards, risks and mitigation actions -- already in the concept s…
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
Atef Azaiez, David A. Anisi, Marie Farrell +1
This paper presents the initial results from our structured literature review on applications of Formal Methods (FM) to Robotic Autonomous Systems (RAS). We describe our structured…
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Mustafa Adam, Kangfeng Ye, David A. Anisi +3
Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance…
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
Mustafa Adam, David A. Anisi, Pedro Ribeiro
Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory complia…