Release YAP 0.7.2 contains minor feature enhancements.
- 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 minor release focuses research demonstration. An updated manual will be provided as soon as possible.