{"id":1895,"date":"2015-03-16T18:21:46","date_gmt":"2015-03-16T17:21:46","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?p=1895"},"modified":"2015-03-23T14:26:24","modified_gmt":"2015-03-23T13:26:24","slug":"plasma-lab-1-3-0-released","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-3-0-released\/","title":{"rendered":"PLASMA Lab 1.3.0 Released"},"content":{"rendered":"<p><\/p>\n<div>\n<p>A new version of PLASMA Lab (v1.3.0) has been released. It includes the following enhancements:<\/p>\n<p><strong>Improvements and new features<\/strong><\/p>\n<ul>\n<ul>\n<li>New command line mode to launch algorithms directly from the command line.<\/li>\n<li>New <a title=\"SystemC Plugin\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/mag_manual\/\">SystemC plugin<\/a>.<\/li>\n<li>New Observer plugin to write properties as observers in the RML language. This replace the MRLRare plugin used for importance splitting<\/li>\n<li>Algorithms updates:\n<ul>\n<li><a title=\"Reward estimation for MDPs\" href=\"https:\/\/project.inria.fr\/plasma-lab\/reward-estimation\/\">Reward algorithm for MDPs<\/a> now handles three types of rewards (reachability rewards, cumulative rewards and instantaneous rewards).<\/li>\n<li><a title=\"Importance splitting algorithm\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/algorithms\/importance-splitting-algorithm\/\">Importance splitting algorithm <\/a>has been rewritten to work with observers and offers a new fixed levels version.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/ul>\n<p>To test and download PLASMA Lab, go to our <a title=\"Download\" href=\"https:\/\/project.inria.fr\/plasma-lab\/download\/\">download page<\/a>.<\/p>\n<\/div>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>A new version of PLASMA Lab (v1.3.0) has been released. It includes the following enhancements: Improvements and new features New command line mode to launch algorithms directly from the command line. New SystemC plugin. New Observer plugin to write properties as observers in the RML language. This replace the MRLRare\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-3-0-released\/\"><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":[7],"tags":[],"class_list":["post-1895","post","type-post","status-publish","format-standard","hentry","category-release-notes"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1895","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=1895"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1895\/revisions"}],"predecessor-version":[{"id":2006,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1895\/revisions\/2006"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=1895"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/categories?post=1895"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/tags?post=1895"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}