{"id":"W4310514146","doi":"10.1145/3563822.3568018","title":"Formal Probabilistic Risk Assessment of a Nuclear Power Plant","year":2022,"lang":"en","type":"article","venue":"","topic":"Risk and Safety Analysis","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Dependability; Computer science; Probabilistic logic; Nuclear power plant; Formal specification; Scalability; Probabilistic risk assessment; Formal verification; Reliability engineering; Theoretical computer science; Software engineering; Artificial intelligence; 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.002251231,0.0009167857,0.0004032912,0.001270532,0.0004049176,0.001505976,0.0008540371,0.0006052906,0.003566445],"category_scores_gemma":[0.006366939,0.0003816296,0.001011251,0.0004619426,0.001067457,0.001220639,0.0009752059,0.0008094574,0.0003783177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00109044,"about_ca_system_score_gemma":0.001396332,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003116569,"about_ca_topic_score_gemma":0.002272121,"domain_scores_codex":[0.9984726,0.0006009638,0.0000770886,0.0001474462,0.0006050621,0.00009683952],"domain_scores_gemma":[0.9967355,0.002320085,0.0003124796,0.0002286226,0.0003566459,0.00004661351],"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.00004673728,0.00003296568,0.0009109639,0.00009692366,0.0000237895,0.000194742,0.0001033332,0.8678147,0.004372541,0.1060979,0.0007085702,0.01959685],"study_design_scores_gemma":[0.00001145878,0.00001662674,0.000112432,0.00001990429,0.0000137159,0.00006959189,0.00001755553,0.9463534,0.002125139,0.04910961,0.002141536,0.000008967872],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0129074,0.00006379191,0.9837452,0.00009452368,0.00001245008,0.00004173049,0.0001752682,0.000491057,0.00246854],"genre_scores_gemma":[0.5800883,0.0003847498,0.415168,0.0000806508,0.00005358077,0.0002405504,0.0005065157,0.0002105564,0.003267005],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003566445,"threshold_uncertainty_score":0.01193094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04379775066783612,"score_gpt":0.3492612774684437,"score_spread":0.3054635268006075,"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."}}