Login / Signup

Ramsey Goes Visibly Pushdown.

Oliver FriedmannFelix KlaedtkeMartin Lange
Published in: ICALP (2) (2013)
Keyphrases
  • model checking
  • reinforcement learning
  • markov chain
  • search space