Release YAP 0.7.2 contains minor feature enhancements.

New features:

  • Synthesiser: Added a new synthesiser for translating pre-synthesised MDPs into special pDTMCs that parameterise any non-deterministic choice of the controller in the original MDP. Such parametric choice can then be resolved by evolutionary search through a large parameter space with tools such as EvoChecker. This is an alternative to using standard policy synthesis algorithms, e.g. as available in PRISM, with the advantage of allowing for the optimisation of more complex multi-criteria objectives.

This release contains the evaluation package for our recent working paper. See the sub-folder examples/hrc2 of the ZIP package available under Downloads.

This minor release focuses research demonstration. An updated manual will be provided as soon as possible.