Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms.
Ling ZhuJingshu ChenSandeep S. KulkarniPublished in: SSS (2015)
Keyphrases
- bayesian networks
- genetic algorithm
- probabilistic model
- refinement process
- probabilistic interpretation
- probabilistic logic
- generative model
- database
- nonlinear systems
- posterior probability
- probabilistic approaches
- control structures
- fixpoint
- probability theory
- computer programs
- uncertain data
- information theoretic
- data driven
- multi agent
- decision trees
- databases
- data sets