{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002727772,0.0001212093,0.0001428942,0.00007712087,0.000263427,0.0005226182,0.00122296,0.00007109356,0.00003318008],"category_scores_gemma":[0.000194108,0.0001261631,0.00009478144,0.0004029557,0.00002408312,0.001722194,0.0002286775,0.0001852818,0.0000273822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000791166,"about_ca_system_score_gemma":0.00008381189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000126613,"about_ca_topic_score_gemma":0.0000212519,"domain_scores_codex":[0.9988138,0.00006909087,0.000285734,0.0003663593,0.0001939847,0.0002710337],"domain_scores_gemma":[0.9985901,0.0001874118,0.0001374157,0.0007894115,0.0002210872,0.00007460461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002559409,0.000257476,0.0002599418,0.00008575765,0.00006773321,0.0000137776,0.0008185211,0.0009608646,0.02459296,0.9052706,0.00267451,0.06497222],"study_design_scores_gemma":[0.0006838841,0.000141807,0.006386451,0.0001500627,0.00003442846,0.00005269995,0.0000744082,0.04765948,0.7435854,0.1649959,0.03565493,0.0005805067],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01221308,0.00003730166,0.9830698,0.0005019839,0.002595926,0.0002481998,0.000003563354,0.0001935011,0.001136647],"genre_scores_gemma":[0.211717,0.000007908051,0.786869,0.0007462324,0.0001840229,0.0002166011,0.000005258121,0.00001359347,0.0002404229],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7402747,"threshold_uncertainty_score":0.514478,"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."}}