LTL_resilience