Scalable Reliability Analysis by Lazy Verification.

Shahid Khan Joost-Pieter Katoen Matthias Volk Marc Bouissou

Published in: NFM (2021)

Keyphrases

reliability analysis
model checking
artificial intelligence
fault tree
databases
decision making
training data
knowledge discovery
condition monitoring