Release YAP 0.7.1 contains minor feature enhancements, improvements, and further example files.

New features:

  • Code generator: Added generation of LTL property files for run-time verification of controller behaviour
  • Generic generator: Added template parameter for initial state expressions
  • General: Added list export for risk spaces and abstract states


  • Property pattern library: Extended and improved pattern list
  • Code generator: Adaptations to match the C#-based digital twin platform

Additional materials:

  • A larger example demonstrating the use of YAP for controller synthesis

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