Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs.
Sheshansh AgrawalKrishnendu ChatterjeePetr NovotnýPublished in: CoRR (2017)
Keyphrases
- bayesian networks
- ranking algorithm
- ranking functions
- rank aggregation
- web search
- generative model
- probabilistic model
- learning to rank
- posterior probability
- ranked list
- termination analysis
- database
- control flow
- computer programs
- probabilistic reasoning
- uncertain data
- supervised learning
- relational databases
- genetic algorithm
- information retrieval