{"id":"W3167034277","doi":"10.1109/jsyst.2021.3077558","title":"Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving","year":2021,"lang":"en","type":"article","venue":"IEEE Systems Journal","topic":"Smart Grid Security and Resilience","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Fault tree analysis; Computer science; Reliability (semiconductor); Probabilistic logic; Schematic; Event tree; Notation; Automated theorem proving; Theoretical computer science; Formal methods; Event (particle physics); Formal verification; Algorithm; Reliability engineering; Programming language; Power (physics); Mathematics; Artificial intelligence; Arithmetic; 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.00478173,0.001100566,0.0007861257,0.002471918,0.0005416297,0.001899475,0.001542876,0.0006110162,0.00303384],"category_scores_gemma":[0.0165526,0.0004488717,0.002255344,0.001334941,0.001734319,0.002863856,0.001308643,0.001471248,0.0005232759],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001463973,"about_ca_system_score_gemma":0.001752038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002072841,"about_ca_topic_score_gemma":0.001161697,"domain_scores_codex":[0.9966137,0.001211294,0.000198204,0.0003857875,0.001352782,0.0002382403],"domain_scores_gemma":[0.9873099,0.009969036,0.0008924054,0.000675968,0.001032798,0.0001200069],"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.00006513131,0.00006757513,0.001170591,0.0003345905,0.00009677152,0.0002611303,0.0001845374,0.6343752,0.004796634,0.3154389,0.001198049,0.04201085],"study_design_scores_gemma":[0.00001202421,0.00001961191,0.000138946,0.00002519855,0.00002489785,0.00004150578,0.00001339855,0.8642517,0.002282981,0.1317446,0.001435246,0.00000982157],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003082107,0.00008787023,0.9957185,0.00004989474,0.000007714355,0.00002408876,0.00004236955,0.0001908539,0.0007966043],"genre_scores_gemma":[0.3704396,0.001030982,0.6251016,0.0001622575,0.000139882,0.000415389,0.0005650918,0.0003212254,0.00182398],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00478173,"threshold_uncertainty_score":0.02528852,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01266178429824017,"score_gpt":0.2573387668669359,"score_spread":0.2446769825686957,"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."}}