Fahad Alotaibi

Latest

• Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems
• Designing Critical Systems Using Hierarchical STPA and Event-B
• Improving Trustworthiness of Self-driving Systems