Perils are natural but we can control both our exposure and their mitigation. The objective of YAP Against Perils is to aid researchers and engineers in doing qualitative reasoning about autonomous systems with the aim of improving the design and guiding the certification of the controllers of such systems.

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, for the synthesis of controllers for run-time handling of hazardous events occurring during the operation of autonomous systems.

Please, have a look into that tool paper to get a feeling for what YAP can be used for. On this website, you will find documentation, examples, binaries, and an installation guide for YAP.