2 papers
cs.RO2025
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…
cs.RO2025
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…