{"id":1585,"date":"2014-10-28T16:07:28","date_gmt":"2014-10-28T15:07:28","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=1585"},"modified":"2015-04-21T15:19:12","modified_gmt":"2015-04-21T13:19:12","slug":"algorithms","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/documentation\/algorithms\/","title":{"rendered":"Algorithms"},"content":{"rendered":"<p><\/p>\n<p style=\"text-align: justify;\">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 <a href=\"https:\/\/project.inria.fr\/plasma-lab\/statistical-model-checking\/\"><strong>Statistical Model Checking<\/strong><\/a> section.<\/p>\n<ul>\n<li><a title=\"Probability estimation for MDPs\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/algorithms\/nondeterministic-algorithms\/\">Probability estimation for MDPs<\/a><\/li>\n<li><a title=\"Reward estimation\" href=\"https:\/\/project.inria.fr\/plasma-lab\/reward-estimation\/\">Reward estimation for MDPs<\/a><\/li>\n<li><a title=\"Importance splitting\" href=\"https:\/\/project.inria.fr\/plasma-lab\/importance-splitting\/\">Importance splitting.<\/a><\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/checking-unbounded-a-bltl-properties\/\">Checking unbounded A-BLTL properties<\/a><\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>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\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/algorithms\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":235,"featured_media":0,"parent":130,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1585","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/1585","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/235"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=1585"}],"version-history":[{"count":5,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/1585\/revisions"}],"predecessor-version":[{"id":2020,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/1585\/revisions\/2020"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/130"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=1585"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}