Context-free timed formalisms: Robust automata and linear temporal logics.
Laura BozzelliAniello MuranoAdriano PeronPublished in: Inf. Comput. (2022)
Keyphrases
- context free
- temporal logic
- model checking
- finite state
- context sensitive
- context dependent
- grammatical inference
- finite state machines
- mazurkiewicz traces
- inductive inference
- modal logic
- context free grammars
- automata theoretic
- tree languages
- satisfiability problem
- belief revision
- petri net
- logic programming
- markov chain
- tree automata
- regular languages
- predicate logic
- information retrieval