as transport and delivery, agriculture, and, infrastructure inspection. To deploy aerial
vehicles in the real world, the safety and reliability of these systems is paramount. Motivated
by the need for safety and reliability, this work proposes a software framework that has built-
in robustness to algorithmic failures and hardware faults. The framework allows users to
build complex applications while reasoning about faults that can happen at different stages …