{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003185297,0.001022287,0.0007367163,0.001345459,0.0004568743,0.001594588,0.001235706,0.0006962748,0.003095234],"category_scores_gemma":[0.01941958,0.0006946957,0.001201486,0.0008844879,0.001742125,0.001961899,0.001648503,0.002046451,0.0003545296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00205891,"about_ca_system_score_gemma":0.002711219,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00709497,"about_ca_topic_score_gemma":0.009627098,"domain_scores_codex":[0.9977098,0.0008688383,0.0001220108,0.0002171947,0.0009136148,0.0001684991],"domain_scores_gemma":[0.9861066,0.009126876,0.001209885,0.001945688,0.001415756,0.0001951569],"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.00004122682,0.00004790283,0.00145999,0.00008989082,0.00001952179,0.00004112986,0.0001357603,0.9416015,0.001226178,0.04437955,0.0002446881,0.01071266],"study_design_scores_gemma":[0.000006404528,0.00001087424,0.00007320477,0.000009131388,0.000003156695,0.000004105658,0.00001377151,0.9848386,0.0004586297,0.01406847,0.0005100258,0.000003622318],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02959111,0.00008021232,0.9667597,0.0001508451,0.00002739303,0.00009592005,0.0002392792,0.0004592239,0.002596359],"genre_scores_gemma":[0.5488422,0.00016233,0.4479032,0.00008277403,0.00001770325,0.0004230775,0.0006114737,0.0002130513,0.001744128],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00709497,"threshold_uncertainty_score":0.0168457,"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."}}