YAP is a research tool

  • for risk modelling—particularly, to explore and investigate abstract state spaces for situational risk analysis—and
  • for controller synthesis—particularly, the synthesis of controllers for run-time handling of hazardous events occurring during the operation of autonomous systems.

I am developing YAP as an aid to my research on the design of verified controllers for risk-aware autonomous systems. YAP can be interesting for engineering practitioners involved in the modelling, verification, development, or certification of safety-critical embedded systems in this application domain.


The research in the context of YAP has been supported by the Lloyd’s Register Foundation under the Assuring Autonomy International Programme, the University of York, the German Research Foundation, the Technical University of Munich, and the German automotive industry.


YAP Against Perils (software, documentation, demo materials) is licensed under a Creative Commons Attribution – NonCommercial – ShareAlike 4.0 International License (CC BY-NC-SA 4.0). You can download the detailed license terms from here.

This license is near-identical to the GNU General Public License (GPLv3): However, currently, YAP’s source code is not shared and its license does not permit commercial use. Also, YAP contains no third-party code and does not make use of third-party libraries except from JDK core libraries compliant with the Java(TM) Platform.

Sharing must be attributed with a copyright notice of the following kind:

"YAP Against Perils" by Mario Gleirscher is licensed under CC BY-NC-SA 4.0


YAP is a prototype, a research tool, and under development. Furthermore, none of YAP’s artifacts are formally verified. Although I have taken considerable care when crafting YAP, it may contain critical bugs and incomplete or otherwise undesired features. Also, I apologise if the documentation is not fully in-sync with the software. Please, let me know if you spot any issues related to YAP or the materials on this website.

Accidental Similarity of Acronyms

By coincidence, there is a Prolog interpreter called YAP (Yet Another Prolog). YAP Against Perils is not related to, building on, or using Prolog software. If you like Prolog as much as I do, please, have a look at YAP. YAP Against Perils is also not related to the speech recognition software, the DVI/PostScript previewer, or the island or state in Micronesia.

About This Website

© 2020 Mario Gleirscher. Built with Jekyll. Layout is based on minima.