YAP 0.7.1 released
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
Improvements:
- 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.