{"id":"W3010859330","doi":"10.1007/978-3-030-41600-3_2","title":"Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Safety assurance; Set (abstract data type); Software; Software engineering; Software system; System safety; Software quality assurance; Risk analysis (engineering); Systems engineering; Software construction; Reliability engineering; Programming language; 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.003802079,0.001783895,0.001903366,0.002147778,0.0009449057,0.005850521,0.003115522,0.003515054,0.002591108],"category_scores_gemma":[0.004755733,0.001188577,0.001874613,0.002066986,0.006434111,0.009081123,0.003566663,0.005926039,0.0008652585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001979914,"about_ca_system_score_gemma":0.002541823,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002922775,"about_ca_topic_score_gemma":0.001865875,"domain_scores_codex":[0.997614,0.0009046407,0.0001680318,0.0002567018,0.0009064171,0.0001501192],"domain_scores_gemma":[0.9972704,0.001690467,0.0002037487,0.0004194542,0.0003157703,0.0001001061],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007515839,0.00001456138,0.00005256871,0.00008498417,0.00001749232,0.00002745815,0.0001071945,0.01949686,0.0003289156,0.9635702,0.001610302,0.01468194],"study_design_scores_gemma":[0.000003220874,0.00001143854,0.00003118821,0.00006028277,0.00001394153,0.00002603955,0.00003374743,0.0456186,0.0002591206,0.9421684,0.01176225,0.0000118002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001379077,0.005561742,0.9747553,0.003112833,0.0002496442,0.00002150462,0.00006130778,0.0002027387,0.01465573],"genre_scores_gemma":[0.2696092,0.02063427,0.6851445,0.001977073,0.002579309,0.0003731514,0.0003709341,0.0004067777,0.01890479],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005850521,"threshold_uncertainty_score":0.02010757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01388723229537926,"score_gpt":0.2177895967963504,"score_spread":0.2039023645009712,"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."}}