Verification and search algorithms for causal DAGs.
Davin ChooKirankumar ShiragurArnab BhattacharyyaPublished in: CoRR (2022)
Keyphrases
- search algorithm
- directed acyclic graph
- causal models
- causal discovery
- model checking
- causal relations
- search methods
- equivalence class
- causal relationships
- formal methods
- causal reasoning
- formal verification
- bayesian networks
- search problems
- branch and bound
- path finding
- signature verification
- belief networks
- heuristic search
- causal networks
- causal inference
- verification method
- conditional independence
- tree search
- heuristic search algorithms
- selection algorithm
- directed graph
- false acceptance rate
- independence relations