Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler. Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. In Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors, Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Volume 14759 of Lecture Notes in Computer Science, pages 43-60, Springer, 2024. [doi]
Abstract is missing.