Timed Context-Free Temporal Logics.
Laura BozzelliAniello MuranoAdriano PeronPublished in: GandALF (2018)
Keyphrases
- context free
- temporal logic
- model checking
- finite state
- context sensitive
- context dependent
- mazurkiewicz traces
- petri net
- verification method
- grammatical inference
- modal logic
- context free grammars
- satisfiability problem
- inductive inference
- parse tree
- markov chain
- predicate logic
- temporal knowledge
- belief revision
- high level