Query Checking for Linear Temporal Logic.

Samuel Huang Rance Cleaveland

Published in: FMICS-AVoCS (2017)

Keyphrases

linear temporal logic
database
query processing
temporal logic
response time
query expansion
user queries
relevance feedback
bounded model checking
query evaluation
reinforcement learning
data sources
domain independent
query terms