Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing preprint available.