{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003617689,0.0005504534,0.0006253513,0.0003305402,0.00009299057,0.0001665578,0.0007784622,0.0004609736,0.00001452883],"category_scores_gemma":[0.0001139781,0.0005654908,0.00008327717,0.000342147,0.0002005249,0.0001514334,0.0002966431,0.001195017,0.00001723845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004089449,"about_ca_system_score_gemma":0.0002102889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001769249,"about_ca_topic_score_gemma":0.00001323443,"domain_scores_codex":[0.9977046,0.00001096681,0.0005138667,0.0007985672,0.0005012513,0.0004707613],"domain_scores_gemma":[0.9987681,0.0003074811,0.00006148651,0.0005991206,0.00007882983,0.0001850058],"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.0000043245,0.000001263346,0.00000455655,0.0001880489,0.00001945754,0.0000195561,0.000412295,0.9317783,0.00003710323,0.003287483,0.000004195526,0.06424346],"study_design_scores_gemma":[0.0001397145,0.00002606645,0.00002128881,0.001017702,0.00000966838,0.00002872332,2.896724e-7,0.9731801,0.00005979846,0.02329368,0.001650026,0.0005729438],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00007564832,0.001477977,0.9915872,0.0002986417,0.001951114,0.0003456725,0.00001417736,0.0005447684,0.003704835],"genre_scores_gemma":[0.809406,0.0001982363,0.1892981,0.0002648302,0.0006684794,0.00001095341,0.000007225162,0.0001117458,0.00003435495],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8093304,"threshold_uncertainty_score":0.9996797,"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."}}