Temporal Causality in Reactive Systems.
Norine CoenenBernd FinkbeinerHadar FrenkelChristopher HahnNiklas MetzgerJulian SiberPublished in: ATVA (2022)
Keyphrases
- reactive systems
- temporal ordering
- temporal logic
- model checking
- temporal data
- information flow
- petri net
- spatio temporal
- control flow
- temporal information
- temporal reasoning
- temporal patterns
- formal methods
- causal reasoning
- data mining
- temporal constraints
- temporal relations
- distributed databases
- databases
- data flow
- causal models
- artificial intelligence