[Gle20]
Mario Gleirscher.
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments.
In Proc. 2nd Workshop on Formal Methods for Autonomous Systems (FMAS'20).
2020.
[Presents a tool for formal risk analysis including modelling and verification support from PRISM.]
|
