Online Algorithms to Generate Slices for Regular Temporal Logic Predicates.
Aravind NatarajanNeeraj MittalVijay K. GargPublished in: ICDCN (2014)
Keyphrases
- temporal logic
- online algorithms
- model checking
- modal logic
- online learning
- learning algorithm
- linear temporal logic
- lower bound
- worst case
- mazurkiewicz traces
- computation tree logic
- verification method
- belief revision
- average case
- asymptotically optimal
- reactive systems
- reinforcement learning
- search algorithm
- database systems
- decision trees
- machine learning