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 plugin used for importance splitting
- Algorithms updates:
- Reward algorithm for MDPs now handles three types of rewards (reachability rewards, cumulative rewards and instantaneous rewards).
- Importance splitting algorithm has been rewritten to work with observers and offers a new fixed levels version.
To test and download PLASMA Lab, go to our download page.
