Login / Signup
An Algorithm for Quantitative Verification of Probabilistic Transition Systems.
Franck van Breugel
James Worrell
Published in:
CONCUR (2001)
Keyphrases
</>
learning algorithm
computational complexity
np hard
dynamic programming
knowledge base
artificial intelligence