Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
Toru TakisakaYuichiro OyabuNatsuki UrabeIchiro HasuoPublished in: ATVA (2018)
Keyphrases
- web search
- bayesian networks
- probabilistic model
- generative model
- ranking algorithm
- ranking functions
- rank aggregation
- link analysis
- uncertain data
- data driven
- learning to rank
- databases
- probabilistic logic
- transitive closure
- pairwise
- expert systems
- high level
- conditional probabilities
- state space
- probability theory
- database
- probabilistic approaches
- probabilistic logic programs