Symbolic Reachability Analysis of Higher-Order Context-Free Processes.
Ahmed BouajjaniAntoine MeyerPublished in: FSTTCS (2004)
Keyphrases
- context free
- reachability analysis
- higher order
- context sensitive
- context dependent
- finite state
- markov decision processes
- model checking
- grammatical inference
- grammar rules
- pairwise
- context free grammars
- timed automata
- inductive inference
- high level
- state space
- incremental algorithms
- computational models
- xml schema
- markov chain
- relational databases
- search algorithm
- reinforcement learning
- machine learning