Login / Signup

An Algorithm for Quantitative Verification of Probabilistic Transition Systems.

Franck van BreugelJames Worrell
Published in: CONCUR (2001)
Keyphrases
  • learning algorithm
  • computational complexity
  • np hard
  • dynamic programming
  • knowledge base
  • artificial intelligence