{"id":"W3204801610","doi":"10.1109/access.2021.3117852","title":"A Deployment Framework for Formally Verified Human-Robot Interactions","year":2021,"lang":"en","type":"article","venue":"IEEE Access","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Executable; Computer science; Software deployment; Robot; Middleware (distributed applications); Model transformation; Virtual machine; Model checking; Automaton; Distributed computing; Human–computer interaction; Software engineering; Artificial intelligence; Programming language","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.00973302,0.002163785,0.001093777,0.002134743,0.00133692,0.003454122,0.003827002,0.002024432,0.007747244],"category_scores_gemma":[0.02382265,0.00211623,0.004520507,0.0008702057,0.004357146,0.003964153,0.005249025,0.004395388,0.00214814],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002725292,"about_ca_system_score_gemma":0.005507668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008730623,"about_ca_topic_score_gemma":0.006215832,"domain_scores_codex":[0.9913093,0.003012687,0.001026588,0.001283009,0.002781676,0.0005866978],"domain_scores_gemma":[0.9864742,0.008087751,0.0008517626,0.002263312,0.001994889,0.0003280069],"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.0001194073,0.0002045498,0.001276696,0.0009850027,0.0001826458,0.001140429,0.001030415,0.2091997,0.009398795,0.6948026,0.004768939,0.07689077],"study_design_scores_gemma":[0.000139298,0.0001985944,0.0003165532,0.0004608293,0.000137683,0.0005200806,0.0002108564,0.5871388,0.01123312,0.3498988,0.04963358,0.0001118035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006098766,0.00004730094,0.9967735,0.00008798986,0.00002170117,0.0001290632,0.00006600407,0.001467962,0.0007966157],"genre_scores_gemma":[0.07609268,0.0002983528,0.9182954,0.0002174074,0.00007435134,0.0009146256,0.0006161466,0.001070769,0.002420363],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00973302,"threshold_uncertainty_score":0.05147374,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1507234345735224,"score_gpt":0.4455941808762787,"score_spread":0.2948707463027563,"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."}}