{"id":"W3111234428","doi":"10.1109/smc42975.2020.9283204","title":"A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios","year":2020,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Robot; Computer science; Set (abstract data type); Automaton; Domain (mathematical analysis); Mobile robot; Model checking; Human–computer interaction; Range (aeronautics); Formal verification; Human–robot interaction; Model-based design; Artificial intelligence; Software engineering; Simulation; Theoretical computer science; Programming language; Engineering","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.005144209,0.001822045,0.0009525692,0.002122758,0.001184263,0.00349473,0.003844266,0.001916328,0.005148096],"category_scores_gemma":[0.009352209,0.001339651,0.004553532,0.001114413,0.003739951,0.002598185,0.002909227,0.004245518,0.001244186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002949693,"about_ca_system_score_gemma":0.004584747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005934722,"about_ca_topic_score_gemma":0.006930734,"domain_scores_codex":[0.9960626,0.001624623,0.0003521571,0.0004186584,0.001300379,0.0002416625],"domain_scores_gemma":[0.9944676,0.003865579,0.0003344792,0.0006024992,0.000590371,0.0001394475],"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.00005100634,0.0001799865,0.0004611387,0.0005688273,0.0001277438,0.0006534789,0.0008717918,0.2231168,0.005131942,0.7397963,0.002264868,0.02677606],"study_design_scores_gemma":[0.00008040854,0.0001262402,0.0002021806,0.0004093899,0.0001148697,0.0003224754,0.0002262266,0.5320929,0.004507728,0.4132031,0.04863955,0.00007490883],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005314116,0.000110265,0.9973596,0.0001907744,0.0000268345,0.0001663754,0.00007685373,0.0001895173,0.001348484],"genre_scores_gemma":[0.04589444,0.0006188342,0.9482532,0.0002678335,0.00008381873,0.001476945,0.0004204151,0.0001671887,0.002817422],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005934722,"threshold_uncertainty_score":0.02720553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.16369819166471,"score_gpt":0.3616675215624395,"score_spread":0.1979693298977295,"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."}}