{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001290767,0.0003761553,0.0005265924,0.0009770803,0.0001544384,0.0001750079,0.002555565,0.0003271233,0.000007057827],"category_scores_gemma":[0.0001630406,0.0003910793,0.0001034868,0.0009320379,0.0003765181,0.001527675,0.0007845998,0.00103939,0.00002117127],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000546907,"about_ca_system_score_gemma":0.0004060768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001263499,"about_ca_topic_score_gemma":0.0001296078,"domain_scores_codex":[0.9964792,0.00009453428,0.0009383405,0.001184574,0.0008245563,0.0004787801],"domain_scores_gemma":[0.9975349,0.000176102,0.0006666873,0.001217096,0.0002768312,0.0001283776],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002526305,0.00005283008,0.0002036223,0.0002351284,0.000006623879,0.00001895672,0.002200862,0.02426,0.003373323,0.2194258,0.000005120118,0.7501925],"study_design_scores_gemma":[0.0004042371,0.0005829996,0.002489595,0.00079231,0.000005988549,0.00003973951,0.000001093541,0.8917872,0.01609886,0.08679584,0.0003212113,0.0006809074],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003346981,0.0001421017,0.995342,0.001244209,0.001365003,0.0005116825,0.000003395691,0.00009731363,0.000959636],"genre_scores_gemma":[0.5000471,0.00002212129,0.4992334,0.0004973761,0.0001404826,0.00001213592,0.000009496689,0.00001903783,0.00001880279],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8675272,"threshold_uncertainty_score":0.9998541,"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."}}