Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.
Yuanrui ZhangFrédéric MalletYixiang ChenPublished in: TASE (2014)
Keyphrases
- temporal consistency
- timed automata
- temporal domain
- temporally consistent
- model checking
- reachability analysis
- temporal constraints
- theorem prover
- processing speed
- natural language
- spatial information
- semantic information
- spatial and temporal
- three dimensional
- first order logic
- level set
- relational databases
- video sequences
- computer vision