{"id":"W3080919791","doi":"10.1007/978-3-030-54549-9_3","title":"Just Enough Formality in Assurance Argument Structures","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Formality; Computer science; Argument (complex analysis); Guard (computer science); Software deployment; Risk analysis (engineering); Software engineering; Programming language","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.006523723,0.0009280492,0.0008921964,0.001708307,0.002257737,0.005801369,0.001736642,0.003603094,0.02297471],"category_scores_gemma":[0.02593789,0.001428423,0.001305761,0.001221639,0.01007388,0.02666609,0.004522392,0.007669082,0.004118514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002353783,"about_ca_system_score_gemma":0.001299952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007477853,"about_ca_topic_score_gemma":0.0007864059,"domain_scores_codex":[0.9946407,0.002805434,0.0003848828,0.0006431516,0.001158707,0.0003671198],"domain_scores_gemma":[0.984207,0.01138183,0.0004732381,0.002424278,0.001254742,0.0002588516],"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.000004424118,0.000003169794,0.00001795468,0.00001886658,0.000002427741,0.000009768793,0.0001126713,0.0001642181,0.00005133519,0.9958338,0.0008128347,0.002968494],"study_design_scores_gemma":[0.000003820598,0.00000192931,0.000006682994,0.00001437755,0.000002429066,0.00001235699,0.00001949314,0.0004282582,0.00008972191,0.9942921,0.005126471,0.000002419319],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00997026,0.00166079,0.7507765,0.01659525,0.0008272821,0.00008312611,0.000266185,0.0008199427,0.2190007],"genre_scores_gemma":[0.7388736,0.001289739,0.1957818,0.002960257,0.001083092,0.0004222767,0.0005118909,0.000876084,0.05820121],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02297471,"threshold_uncertainty_score":0.07685804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01448829300531915,"score_gpt":0.2165777043148529,"score_spread":0.2020894113095338,"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."}}