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 tested using these algorithms.
- A new importance splitting algorithm for rare events estimation.
Beside PLASMA Lab documentation has been extended with a PLASMA Lab Book hosted on Gitbooks.To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr
