All Stories

  1. Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees
  2. Synthesizing Recovery Strategies from Fault Trees