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]
@inproceedings{PromaHA25,
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},
doi = {10.1007/978-3-032-02018-5_21},
url = {https://doi.org/10.1007/978-3-032-02018-5_21},
researchr = {https://researchr.org/publication/PromaHA25},
cites = {0},
citedby = {0},
pages = {281-293},
booktitle = {Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings},
editor = {Martin Törngren and Barbara Gallina and Erwin Schoitsch and Elena Troubitsyna and Friedemann Bitsch},
volume = {15955},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-02018-5},
}