Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems.

Pauline Blohm, Paula Herber, Anne Remke

Browse the full IFM paper archive.