{"id":"W9929366","doi":"10.1007/978-3-662-04558-9_15","title":"UPPAAL — Timed Systems","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; The Internet; Software engineering; Systems engineering; Operating system; 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003728796,0.0002205009,0.0002475752,0.0001399809,0.00005390829,0.0001599596,0.00113489,0.0002882803,0.0002979713],"category_scores_gemma":[0.00001839095,0.0001968305,0.00008407395,0.00004283682,0.00004011099,0.0002633572,0.0002095051,0.0002366177,0.002315357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008955503,"about_ca_system_score_gemma":0.00005857845,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000152515,"about_ca_topic_score_gemma":8.256546e-7,"domain_scores_codex":[0.9986678,0.00002646743,0.0003185883,0.0004245875,0.0003675157,0.0001950575],"domain_scores_gemma":[0.998491,0.00004400545,0.0001882805,0.001092177,0.00009993941,0.00008463686],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[8.586167e-7,0.000002761454,3.808432e-7,0.00001407298,0.00001161952,0.000008923823,0.00001638089,0.00001050601,0.000004769764,0.9748012,0.005782619,0.01934584],"study_design_scores_gemma":[0.00006659158,0.00003916695,0.000004612346,0.00005566544,0.000007553029,0.00007618879,0.000001240076,0.03530192,0.00004112226,0.01794294,0.9461653,0.0002976519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[1.15456e-7,0.0001487894,0.4588294,0.00003289646,0.0009348084,0.0001319334,0.000001135639,0.0002143044,0.5397066],"genre_scores_gemma":[0.00002795666,0.00005522786,0.2547208,0.000084904,0.0001935493,0.000008865842,0.000005215469,0.00001924236,0.7448843],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9568583,"threshold_uncertainty_score":0.9984615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04520859536349808,"score_gpt":0.2697401281506516,"score_spread":0.2245315327871535,"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."}}