This paper provides a formal analysis of indoor disaster environments that impact the design
of small unmanned aerial systems (SUASs), their navigational algorithms, and their sensors …