{"id":"W4388072373","doi":"10.2316/j.2023.206-0886","title":"PROBABILISTIC MODEL CHECKING METHOD FOR ROBOT PERFORMANCE OPTIMISATION, 461-470.","year":2023,"lang":"en","type":"article","venue":"International Journal of Robotics and Automation","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Computer science; Probabilistic logic; Model checking; Robot; Statistical model; Artificial intelligence; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003036225,0.001473728,0.001385164,0.001582851,0.0009778352,0.001551228,0.003050707,0.001231339,0.009774918],"category_scores_gemma":[0.0116647,0.001341424,0.002395476,0.001101003,0.001758346,0.003512688,0.001846058,0.002644164,0.002536109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001443148,"about_ca_system_score_gemma":0.003459197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00725012,"about_ca_topic_score_gemma":0.01362116,"domain_scores_codex":[0.996311,0.001124633,0.0002455471,0.0006095648,0.001428467,0.0002808575],"domain_scores_gemma":[0.9931428,0.004259557,0.0002758661,0.001281525,0.0009506418,0.00008950946],"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.0008897141,0.0003296282,0.003046841,0.000980588,0.0004086097,0.0003916295,0.0002891192,0.4233018,0.01830192,0.2056079,0.02538065,0.3210716],"study_design_scores_gemma":[0.00009416619,0.00006919621,0.0003968615,0.00006290038,0.0001189943,0.0001397455,0.00002302023,0.9014,0.009941466,0.08055778,0.007159559,0.00003630804],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002471491,0.0001818633,0.9885306,0.000119255,0.00005076013,0.00004960774,0.0002817321,0.006635116,0.001679656],"genre_scores_gemma":[0.2759247,0.0003320552,0.7118924,0.0002615989,0.00008292392,0.0003609076,0.001208918,0.002444872,0.007491674],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009774918,"threshold_uncertainty_score":0.03270036,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04118871263207958,"score_gpt":0.3299484346060279,"score_spread":0.2887597219739483,"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."}}