Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification.

Published in: FMCAD (2022)

Keyphrases

causal reasoning
causal models
knowledge representation
model checking
default logic
qualitative simulation
directed acyclic graph
face verification
bayes net
formal verification
asynchronous circuits
genetic algorithm
image segmentation
object oriented
stereo matching
formal analysis