Feasibility analysis for robustness quantification by symbolic model checking
scientific article; zbMATH DE number 6087614
scientific article