T2: Temporal Property Verification.
Marc BrockschmidtByron CookSamin IshtiaqHeidy KhlaafNir PitermanPublished in: TACAS (2016)
Keyphrases
- temporal data
- spatio temporal
- temporal constraints
- temporal information
- spatial and temporal
- model checking
- temporal reasoning
- real time
- time stamped
- temporal databases
- database
- neural network
- temporal evolution
- temporal dimension
- linear temporal logic
- expert systems
- search algorithm
- website
- information systems
- artificial intelligence
- machine learning
- desirable properties
- real world
- temporal sequences
- formal verification