Algorithms

You will find in these pages the documentation on some specific algorithms implemented in PLASMA Lab. For information on the more generic SMC algorithms you can look at the quick introduction in the Statistical Model Checking section.

• Probability estimation for MDPs
• Reward estimation for MDPs
• Importance splitting.
• Checking unbounded A-BLTL properties