{"id":"W4413205579","doi":"10.1109/edcc66201.2025.00031","title":"Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments","year":2025,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Critical Systems Labs; University of Victoria","funders":"","keywords":"Computer science","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.047211,0.001656024,0.001103837,0.007228903,0.00262039,0.01179335,0.003417003,0.003785578,0.006438517],"category_scores_gemma":[0.1623861,0.001406902,0.002611087,0.002809121,0.01760203,0.01777982,0.007922715,0.005783193,0.0008255556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005209687,"about_ca_system_score_gemma":0.003593239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001797281,"about_ca_topic_score_gemma":0.001623839,"domain_scores_codex":[0.9614453,0.02246349,0.002747635,0.003066789,0.009184959,0.001091877],"domain_scores_gemma":[0.8107678,0.1436922,0.01641361,0.01287667,0.01384466,0.002405098],"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.00005061294,0.00004085987,0.0006433576,0.00018615,0.00005179798,0.0001659307,0.00103305,0.01336656,0.0007027418,0.9699109,0.0004464364,0.01340164],"study_design_scores_gemma":[0.00002949566,0.00005302624,0.0001960435,0.0001635942,0.00003994847,0.00008499152,0.00028796,0.05140365,0.001186697,0.9420589,0.004450189,0.00004545318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008254669,0.0001712393,0.9790411,0.001577848,0.0001038113,0.000140962,0.00007989327,0.0001860287,0.01044439],"genre_scores_gemma":[0.4544162,0.0002953691,0.5411833,0.0006789797,0.0002120419,0.0004511329,0.0001535188,0.0001632962,0.00244609],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.047211,"threshold_uncertainty_score":0.2496787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009068351571803714,"score_gpt":0.2462247881485167,"score_spread":0.237156436576713,"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."}}