SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

Nawshin Mannan Proma, Victoria J. Hodge, Rob Alexander. SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. In Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings. Volume 15955 of Lecture Notes in Computer Science, pages 281-293, Springer, 2025. [doi]

Authors

Nawshin Mannan Proma

This author has not been identified. Look up 'Nawshin Mannan Proma' in Google

Victoria J. Hodge

This author has not been identified. Look up 'Victoria J. Hodge' in Google

Rob Alexander

This author has not been identified. Look up 'Rob Alexander' in Google