{"id":"W3085136136","doi":"10.1007/978-3-030-58768-0_17","title":"Formal Verification of Human-Robot Interaction in Healthcare Scenarios","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Toolchain; Computer science; Automaton; Model checking; Formalism (music); Formal verification; Human–computer interaction; Robot; Formal methods; Representation (politics); Human–robot interaction; Artificial intelligence; Software engineering; Theoretical computer science; 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.003391056,0.0006503295,0.0005733775,0.0005419124,0.0006745678,0.002167702,0.00182924,0.001313559,0.006347553],"category_scores_gemma":[0.01008723,0.0006007703,0.001397473,0.0002674395,0.002762781,0.002165018,0.002261175,0.001385012,0.00102776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001227392,"about_ca_system_score_gemma":0.002271249,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002897628,"about_ca_topic_score_gemma":0.002174291,"domain_scores_codex":[0.9959539,0.001822514,0.0002345639,0.0003702824,0.001248873,0.0003697662],"domain_scores_gemma":[0.9933466,0.005052277,0.0002808886,0.0007230682,0.0005016482,0.00009560958],"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.000370699,0.0001895237,0.0009513241,0.0009183275,0.0001006254,0.001104492,0.001150453,0.2432783,0.01998759,0.6257033,0.004710182,0.1015352],"study_design_scores_gemma":[0.0001120857,0.0001167939,0.0003897033,0.0002569255,0.00005311837,0.0003799839,0.0001850131,0.6076883,0.02097253,0.3531951,0.01660478,0.00004569014],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007448737,0.0001952423,0.9846742,0.000277737,0.00005944688,0.0001285486,0.0001010595,0.001022254,0.006092848],"genre_scores_gemma":[0.6376404,0.0004616631,0.3537731,0.0002005405,0.00006695655,0.000301784,0.0004258724,0.0002712206,0.006858368],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006347553,"threshold_uncertainty_score":0.02123475,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05406738394847032,"score_gpt":0.3282533480587839,"score_spread":0.2741859641103135,"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."}}