On verifying causal consistency.

Ahmed Bouajjani Constantin Enea Rachid Guerraoui Jad Hamza

Published in: POPL (2017)

Keyphrases

causal models
causal discovery
causal relations
causal reasoning
causal graph
structural model
directed acyclic graph
evolutionary algorithm
model checking
data sets
bayesian networks
consistency checking
database systems
multiscale
path consistency
similarity measure
temporal consistency
case study
neural network