@misc{indiciaef52bb8719156, title = {SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment}, author = {Nawshin Mannan Proma and Victoria J Hodge and Rob Alexander}, year = {2025}, url = {https://arxiv.org/abs/2505.20969}, note = {Source identifier: 2505.20969} }