{"id":"W4405601759","doi":"10.1109/rws62797.2024.10799344","title":"Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs","year":2024,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Cégep de l'Outaouais; Carleton University","funders":"U.S. Department of Homeland Security","keywords":"Cyber-physical system; Computer science; Theoretical computer science; Human–computer interaction; Operating system","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":[],"consensus_categories":[],"category_scores_codex":[0.0009604354,0.00007763831,0.0002304876,0.0004311469,0.00008179342,0.0002020939,0.0004926319,0.00004158272,0.00006812417],"category_scores_gemma":[0.0001895429,0.00005370647,0.0001938879,0.001529242,0.00002089491,0.0008746076,0.0001150074,0.00004734137,0.00004852004],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004245903,"about_ca_system_score_gemma":0.00003448825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003277574,"about_ca_topic_score_gemma":0.00001643083,"domain_scores_codex":[0.9985138,0.00003713046,0.0005370655,0.0003843932,0.0004171419,0.0001104783],"domain_scores_gemma":[0.9976753,0.001140375,0.0001470711,0.0007373895,0.0002511821,0.00004870286],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000038694,0.0001319286,0.0006916159,0.00008474082,0.0004072279,3.350883e-7,0.0005208243,0.02694616,0.008161492,0.8249769,0.01404979,0.1239903],"study_design_scores_gemma":[0.00004861426,0.0000292095,0.0004385159,0.000009431473,0.0001714588,0.000001143119,0.0005513213,0.9831398,0.003036456,0.006015526,0.006497123,0.00006139848],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03766558,0.00000610703,0.9583689,0.0002062421,0.00005437014,0.0004171387,0.0002496499,0.0001779864,0.002854007],"genre_scores_gemma":[0.9782855,5.944343e-7,0.02096953,0.00001564417,0.00007627623,0.00009633758,0.0002101716,0.000006667542,0.0003393103],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9561936,"threshold_uncertainty_score":0.2190086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2659671819679146,"score_gpt":0.4798675237577975,"score_spread":0.2139003417898829,"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."}}