Synthesis of Temporal Causality.
Bernd FinkbeinerHadar FrenkelNiklas MetzgerJulian SiberPublished in: CAV (3) (2024)
Keyphrases
- temporal ordering
- spatio temporal
- temporal information
- data sets
- temporal consistency
- temporal patterns
- spatial and temporal
- temporal constraints
- case study
- causal models
- temporal databases
- temporal evolution
- machine learning
- program synthesis
- temporal order
- space time
- temporal data
- qualitative models
- temporal analysis
- causal relations
- temporal aspects
- database