{"id":2409,"date":"2018-04-27T17:11:26","date_gmt":"2018-04-27T15:11:26","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?p=2409"},"modified":"2018-04-27T17:11:26","modified_gmt":"2018-04-27T15:11:26","slug":"smc-for-incomplete-models","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/plasma-lab\/smc-for-incomplete-models\/","title":{"rendered":"SMC for incomplete models"},"content":{"rendered":"<p>We have uploaded a new <a href=\"https:\/\/project.inria.fr\/plasma-lab\/download\/previous-version\/\">experimental version<\/a> (1.4.5) of Plasma Lab.<br \/>\nIt includes new plugins for analyzing incomplete models (with unknowns):<\/p>\n<ul>\n<li>The plugins work with normal RML models that have atomic propositions that may take three values (1 for True, 0 for False, and -1 for Unknown).<\/li>\n<li>A new BLTLU plugin allows to check three-valued BLTL properties (same syntax as BLTL).<\/li>\n<li>A new Monte-Carlo estimation algorithm for models with unknown.<\/li>\n<li>A new hypothesis testing algorithm for models with unknown.<\/li>\n<li>The demo examples include an example of an incomplete network model.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>We have uploaded a new experimental version (1.4.5) of Plasma Lab. It includes new plugins for analyzing incomplete models (with unknowns): The plugins work with normal RML models that have atomic propositions that may take three values (1 for True, 0 for False, and -1 for Unknown). A new BLTLU\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/smc-for-incomplete-models\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":235,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2409","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/2409","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/post"}],"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=2409"}],"version-history":[{"count":1,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/2409\/revisions"}],"predecessor-version":[{"id":2410,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/2409\/revisions\/2410"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=2409"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/categories?post=2409"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/tags?post=2409"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}