{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001165106,0.0002490426,0.0003605858,0.0002997919,0.0002914938,0.0000876939,0.000998291,0.0000907755,8.15754e-7],"category_scores_gemma":[0.0005384601,0.0001818364,0.0001630545,0.001165721,0.00002201978,0.00083556,0.0002745675,0.0003237547,0.00002588719],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002484,"about_ca_system_score_gemma":0.00006390215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000557041,"about_ca_topic_score_gemma":0.000006200506,"domain_scores_codex":[0.9980973,0.0002320618,0.0005042565,0.0004187966,0.0002950524,0.0004525175],"domain_scores_gemma":[0.9976804,0.0007991521,0.0002755132,0.0009224702,0.0002688702,0.00005365621],"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.000008008106,0.00001197687,0.0002662772,0.00007003464,0.00005153353,0.00000256573,0.00209389,0.9925876,0.002005058,0.0003403094,0.000008353043,0.002554419],"study_design_scores_gemma":[0.000123796,0.0001026275,0.0007437056,0.000245858,0.00001082406,0.000008546181,0.0003760905,0.9961085,0.00017374,0.001913933,6.260512e-7,0.000191798],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2094098,0.00007853526,0.7888542,0.00003436953,0.0004582081,0.0002668631,0.000002571228,0.0008898842,0.000005628574],"genre_scores_gemma":[0.9689791,0.000004704556,0.03083016,0.000009909309,0.00006804263,0.00004958055,0.0000115469,0.00003216443,0.00001481276],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7595693,"threshold_uncertainty_score":0.7415071,"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."}}