Timed Context-Free Temporal Logics.
Laura BozzelliAniello MuranoAdriano PeronPublished in: CoRR (2019)
Keyphrases
- context free
- temporal logic
- model checking
- finite state
- context sensitive
- context dependent
- grammatical inference
- petri net
- verification method
- mazurkiewicz traces
- satisfiability problem
- modal logic
- inductive inference
- context free grammars
- markov chain
- predicate logic
- belief revision
- parse tree
- object oriented
- temporal knowledge
- information extraction
- machine learning