{"id":"W4385953646","doi":"10.1007/s10270-023-01125-1","title":"Analyzing the impact of human errors on interactive service robotic scenarios via formal verification","year":2023,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Politecnico di Milano","keywords":"Computer science; Outcome (game theory); Robot; Plan (archaeology); Service (business); Model checking; Human–computer interaction; Software engineering; Systems engineering; Artificial intelligence; Risk analysis (engineering); 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.009795973,0.0009618221,0.0005519486,0.001178692,0.0007175431,0.001419946,0.001577135,0.0009979741,0.001971865],"category_scores_gemma":[0.04668362,0.0005665467,0.001236039,0.0003990242,0.003434126,0.0017506,0.002401287,0.001752731,0.0001804145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002256516,"about_ca_system_score_gemma":0.003621512,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008095725,"about_ca_topic_score_gemma":0.007979007,"domain_scores_codex":[0.9909495,0.004279674,0.0003277868,0.0005843476,0.003107392,0.0007513075],"domain_scores_gemma":[0.9245126,0.06042295,0.005366459,0.004927421,0.004254244,0.0005162864],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008709162,0.0001059134,0.003671222,0.0001089995,0.0000347943,0.0002015103,0.0001977207,0.9540839,0.004147494,0.02776864,0.0002125172,0.009380249],"study_design_scores_gemma":[0.00001331941,0.00005710842,0.0003453436,0.00002617196,0.00001372033,0.00002869068,0.00004427037,0.9845391,0.004275494,0.01023732,0.0004089332,0.00001053423],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1949885,0.0001635225,0.7991293,0.0004680873,0.00003833883,0.0002178104,0.0001472797,0.001206798,0.00364046],"genre_scores_gemma":[0.9033079,0.00009535118,0.09556682,0.00006384286,0.00001267759,0.000133348,0.0001173562,0.0001227989,0.0005799071],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009795973,"threshold_uncertainty_score":0.05180669,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07153227084064961,"score_gpt":0.3420807036154529,"score_spread":0.2705484327748033,"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."}}