Temporal Verification with Answer-Effect Modification.
Taro SekiyamaHiroshi UnnoPublished in: CoRR (2022)
Keyphrases
- spatio temporal
- temporal constraints
- real world
- space time
- model checking
- temporal data
- spatial and temporal
- temporal information
- time stamped
- temporal reasoning
- asynchronous circuits
- question classification
- temporal aspects
- temporal analysis
- answering queries
- formal analysis
- database
- artificial intelligence
- learning algorithm
- real time