Temporal-Logic Query Checking over Finite Data Streams.
Samuel HuangRance CleavelandPublished in: FMICS (2020)
Keyphrases
- temporal logic
- data streams
- model checking
- linear temporal logic
- verification method
- modal logic
- query processing
- satisfiability problem
- concurrent systems
- sliding window
- query evaluation
- computation tree logic
- query execution
- mazurkiewicz traces
- data sets
- belief revision
- range queries
- data sources
- temporal knowledge
- automata theoretic
- formal specification language
- markov decision processes
- query optimization
- relational queries
- model checker
- similarity search
- index structure
- dynamic constraints
- np complete
- bounded model checking
- dynamic programming