Risk Mitigation Strategies in High Automation

Mario Gleirscher
2019 Software Engineering  
The work underlying this presentation is titled "From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case," accepted as a peer-reviewed full technical paper at the "NASA Formal Methods Symposium (NFM 2017)," published in April 2017.
doi:10.18420/se2019-12 dblp:conf/se/Gleirscher19 fatcat:4l7tktuydnbypd57e66xl36dz4