Sign in

BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.

Daniel BasgözeMatthias VolkJoost-Pieter KatoenShahid KhanMariëlle Stoelinga
Published in: NFM (2022)
Keyphrases
  • quantitative analysis
  • real time
  • information systems
  • image analysis
  • fault diagnosis
  • computationally expensive
  • multi agent
  • state space
  • fault detection
  • qualitative analysis