Paper Verification of Behavior Trees with Contingency Monitors accepted to FMAS 2024, as part of the DARPA ANSR Project.