Login / Signup

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.

Toru TakisakaYuichiro OyabuNatsuki UrabeIchiro Hasuo
Published in: ACM Trans. Program. Lang. Syst. (2021)
Keyphrases
  • ranking algorithm
  • state space
  • ranking functions
  • website
  • web search
  • user feedback
  • computer programs
  • genetic algorithm
  • link analysis
  • machine learning
  • case study
  • expert systems
  • randomized algorithms
  • provably correct