Login / Signup

On the Random Walk Method for Protocol Testing.

Milena MihailChristos H. Papadimitriou
Published in: CAV (1994)
Keyphrases
  • random walk
  • dynamic programming
  • similarity measure
  • search space
  • transition probabilities
  • random walker