Symbolic Reachability Analysis of Higher-Order Context-Free Processes
Ahmed BouajjaniAntoine MeyerPublished in: CoRR (2007)
Keyphrases
- context free
- reachability analysis
- higher order
- context sensitive
- context dependent
- model checking
- grammatical inference
- finite state
- markov decision processes
- context free grammars
- pairwise
- timed automata
- inductive inference
- parse tree
- high level
- grammar rules
- reinforcement learning
- text classification
- incremental algorithms
- keywords
- representation language
- theorem proving
- markov chain