Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances.
Javier EsparzaAntonín KuceraRichard MayrPublished in: LICS (2005)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative and quantitative analysis
- qualitative evaluation
- model checking
- finite state
- bayesian networks
- probabilistic model
- tree automata
- generative model
- cellular automata
- neural network
- context sensitive
- brain structures
- probabilistic logic
- gaussian distribution
- state space
- decision making
- genetic algorithm