{"id":"W3203682716","doi":"10.1109/icas49788.2021.9551199","title":"Fault Tree Analysis And Risk Mitigation Strategies For Autonomous Systems Via Statistical Model Checking","year":2021,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Fault tree analysis; Computer science; Reliability (semiconductor); Reliability engineering; Tree (set theory); Fault tolerance; Distributed computing; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002600007,0.0006066933,0.0006452965,0.001603422,0.000428344,0.0009023185,0.0008980433,0.0005521181,0.001124835],"category_scores_gemma":[0.009953593,0.0003258655,0.001028172,0.0006751196,0.0009688704,0.001337965,0.0007319249,0.0007939776,0.00009946714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001078414,"about_ca_system_score_gemma":0.002481197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005591301,"about_ca_topic_score_gemma":0.005182453,"domain_scores_codex":[0.9986441,0.0005658866,0.00005513342,0.0001132795,0.0004957982,0.000125779],"domain_scores_gemma":[0.9925603,0.005388606,0.0008339077,0.0004933844,0.0006366221,0.00008724163],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003587364,0.00003094067,0.002123243,0.00003646999,0.00003865796,0.00005526017,0.00005306388,0.9551473,0.002025443,0.0232502,0.0001773057,0.0170262],"study_design_scores_gemma":[0.000002229061,0.00001157152,0.0001221111,0.000004157251,0.000005304346,0.000009625084,0.000005172219,0.9915379,0.0005140136,0.007702829,0.0000826001,0.000002512576],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04596145,0.0001476201,0.9522949,0.0001337363,0.00001161367,0.00003169931,0.00004673684,0.0004670276,0.0009050834],"genre_scores_gemma":[0.9106677,0.0001444705,0.0885306,0.00004122275,0.00001328459,0.00008405102,0.00008169292,0.00004788055,0.0003891706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005591301,"threshold_uncertainty_score":0.01375026,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02069252906400945,"score_gpt":0.2979113082215689,"score_spread":0.2772187791575594,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}