{"id":"W2991085081","doi":"10.1109/models-c.2019.00036","title":"Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT","year":2019,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Executable; Computer science; Eclipse; Unified Modeling Language; Extension (predicate logic); Set (abstract data type); Programming language; Field (mathematics); Modeling language; Software engineering; Software","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.0002304613,0.0001507587,0.0001349135,0.00004441677,0.0000781265,0.0001316772,0.0006221239,0.00005286406,0.00002362059],"category_scores_gemma":[0.000001350561,0.00008789963,0.00002416482,0.0001326892,0.00003188647,0.000388075,0.0003337854,0.0001624477,0.00002592653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002299828,"about_ca_system_score_gemma":0.00002984509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004629482,"about_ca_topic_score_gemma":0.00001659008,"domain_scores_codex":[0.9990436,0.0000212702,0.0001195342,0.0003500516,0.0002172775,0.000248248],"domain_scores_gemma":[0.9991416,0.00003590787,0.00003852375,0.0006791726,0.00004968826,0.00005509187],"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.000005923042,0.00005162348,0.005353029,0.0000877501,0.00003871126,0.00001020618,0.003669111,0.001391556,0.0004344911,0.8654102,0.001464685,0.1220827],"study_design_scores_gemma":[0.001334684,0.001265676,0.01013209,0.0004903986,0.00002946254,0.0001788594,0.00007118816,0.7590652,0.004461501,0.01451046,0.2066386,0.001821917],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004786211,0.0001510214,0.9861722,0.001476958,0.00005379161,0.0003643343,2.919004e-7,0.0009270263,0.00606816],"genre_scores_gemma":[0.4501292,0.00004425718,0.5486731,0.0001767735,0.0000224146,0.00004024401,3.221231e-7,0.00001607746,0.0008976773],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8508998,"threshold_uncertainty_score":0.3584443,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006467944530731355,"score_gpt":0.1884913633812877,"score_spread":0.1820234188505564,"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."}}