{"id":"W3108616151","doi":"10.4204/eptcs.329.1","title":"How to Formally Model Human in Collaborative Robotics","year":2020,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Robotics; Robot; Workspace; Artificial intelligence; Computer science; Human–robot interaction; Human–computer interaction; Risk analysis (engineering); Business","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.005819278,0.001153474,0.0008020018,0.0009693003,0.001136464,0.00445448,0.003197335,0.002711237,0.004051559],"category_scores_gemma":[0.01323015,0.000866759,0.002261497,0.0008167778,0.005673288,0.008771991,0.003961986,0.003983944,0.001735261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001617409,"about_ca_system_score_gemma":0.003724938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006329881,"about_ca_topic_score_gemma":0.005412614,"domain_scores_codex":[0.9947472,0.002268225,0.0005600751,0.0006122541,0.001418515,0.0003937348],"domain_scores_gemma":[0.9925096,0.004020978,0.0006758064,0.001569705,0.0009544351,0.0002693853],"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.00003051017,0.00009486209,0.0005795053,0.0005074884,0.00005240936,0.0003605655,0.001184339,0.05332772,0.002019132,0.917418,0.00191898,0.02250654],"study_design_scores_gemma":[0.00006159173,0.00008047032,0.0001671518,0.0003813852,0.00007317437,0.0003294635,0.0003522676,0.1039079,0.003952357,0.8203008,0.07033479,0.00005861184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002893829,0.0006440376,0.9891967,0.001055497,0.0001182601,0.0001454897,0.0001425198,0.0003557646,0.005447925],"genre_scores_gemma":[0.1832053,0.001910736,0.8060395,0.0007891607,0.0002264166,0.0007965899,0.0009387743,0.0003515485,0.005741987],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006329881,"threshold_uncertainty_score":0.03077567,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01573372877370271,"score_gpt":0.277300833355258,"score_spread":0.2615671045815553,"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."}}