A new version of PLASMA Lab (v1.2.20) has been released. It includes the following enhancements: Improvements and new features Rewards can now be used in RML and BLTL. Algorithms for nondeterminism with rewards: the algorithms described here have been extended to compute minimum and maximum rewards. Several examples have been…
A new version of PLASMA Lab (v1.2.18) has been released. It includes the following enhancements: Improvements and new features Algorithms for nondeterminism: these algorithms, described here, comprise the previously released Chernoff iterated algorithm (renamed Chernoff ND), as well as a new sequential algorithm (named Sequential ND). To test and download…
A new version of PLASMA Lab (v1.2.16) has been released. It includes the following enhancements: Improvements and new features Chernoff Iterated MDP, a new algorithm. CUSUM, a new algorithm. Various bugfixes. To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to…
A new version of PLASMA Lab (v1.2.14) has been released. It includes the following enhancements: Improvements and new features A new version of the PLASMA 2 Simulink plugin allow for more possibilities using Plasma with Simulink. To see an example of this new version possibilities see our case study Fault-Tolerant…
A new version of PLASMA Lab (v1.2.12) has been released. It includes the following enhancements: Improvements and new features A new Rare events algorithm. More details will be published soon. Various bugfixes. To test and download PLASMA Lab, go to our download page. If you encounter any issues or want…
A new version of PLASMA Lab (v1.2.10) has been released. It includes the following enhancements: Improvements and new features We have extended the grammar of BLTL with two adaptive operators that observe adaptive transitions in stochastic adaptive systems (SAS). This new requirement language is A-BLTL. PLASMA Lab can also check…
A new version of PLASMA Lab (v1.2.8) has been released. It includes the following enhancements: Improvements and new features You can now use PLASMA Lab from within MATLAB/Simulink. See our documentation page to download the latest PLASMA2Simulink MATLAB App. Various bugfixes To test and download PLASMA Lab, go to our…
A new version of PLASMA Lab (v1.2.6) has been released. It includes the following enhancements: Improvements and new features We have decided to publish a proof of concept of our MATLAB/Simulink integration of PLASMA Lab. This feature is available as a PLASMA Lab plugin since v1.2.6. To learn more about…
A new version of PLASMA Lab (v1.2.0) has been released. It includes the following enhancements: Improvements and new features Reworked RML simulator for better performance. Improved user interface. Particularly, a new simulation view which allows to simulate your model step by step. Reworked API, easier to understand and use. New…
Plasma Lab 1.1.1 is live! We just released a new version of Plasma Lab. This release will allow you to add your own simulator or requirement checker in Plasma Lab. It also includes GCSL, a new requirement language as well as several bug fixes. Try it now or scroll down…
