Gleirscher, MarioBecker, SteffenBogicevic, IvanHerzwurm, GeorgWagner, Stefan2019-03-142019-03-142019978-3-88579-686-2https://dl.gi.de/handle/20.500.12116/20870The 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.enhigh automationautonomous systemsrisk analysishazard mitigationsafe statecontroller designmodellingplanningText/Conference Paper10.18420/se2019-121617-5468