Timed context-free temporal logics (extended version).
Laura BozzelliAniello MuranoAdriano PeronPublished in: CoRR (2018)
Keyphrases
- temporal logic
- context free
- model checking
- finite state
- context sensitive
- mazurkiewicz traces
- context dependent
- grammatical inference
- satisfiability problem
- inductive inference
- context free grammars
- temporal knowledge
- petri net
- verification method
- modal logic
- belief revision
- parse tree
- predicate logic
- grammar rules
- information retrieval
- markov chain
- artificial intelligence
- co occurrence
- markov decision processes