{"id":"W1409963766","doi":"10.1007/978-3-319-05416-2_8","title":"TTM/PAT: Specifying and Verifying Timed Transition Models","year":2014,"lang":"en","type":"book-chapter","venue":"Communications in computer and information science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Computer science; Transition (genetics); Chemistry","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.001457622,0.001853935,0.0008918462,0.001305166,0.0005216366,0.002580899,0.002190969,0.001326375,0.01292621],"category_scores_gemma":[0.004579015,0.001727532,0.001341764,0.001522653,0.001368733,0.003560512,0.001597593,0.002172253,0.007258341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007255991,"about_ca_system_score_gemma":0.001583101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001729463,"about_ca_topic_score_gemma":0.001922701,"domain_scores_codex":[0.9983917,0.0002980655,0.0001408221,0.0002942046,0.0007939197,0.00008125966],"domain_scores_gemma":[0.9984276,0.0008575696,0.00008987591,0.0004001403,0.0001905951,0.00003425653],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001443773,0.00007177429,0.0004052625,0.001224236,0.00006646601,0.0004947443,0.0005181789,0.05605544,0.02116284,0.2768442,0.05139338,0.591619],"study_design_scores_gemma":[0.00008136314,0.00012246,0.0003191839,0.0005362838,0.00008170208,0.001178853,0.0001069034,0.2727809,0.06432125,0.3245878,0.3357754,0.0001078555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001311182,0.0005883322,0.9809692,0.0001009285,0.000149549,0.00006786982,0.0003204251,0.006966518,0.009525989],"genre_scores_gemma":[0.06151695,0.002094099,0.897655,0.0001826374,0.000183937,0.0003203003,0.002032797,0.005422679,0.03059168],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01292621,"threshold_uncertainty_score":0.04324251,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08261568473586745,"score_gpt":0.3059349246480804,"score_spread":0.2233192399122129,"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."}}