{"id":"W1540519426","doi":"10.1142/p595","title":"Labelled Markov Processes","year":2009,"lang":"en","type":"book","venue":"IMPERIAL COLLEGE PRESS eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":219,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Markov chain; Computer science; Machine learning","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006001206,0.0005896144,0.0006904303,0.0001974383,0.0002563689,0.0003826283,0.002797239,0.0006512194,0.00002223994],"category_scores_gemma":[0.0003326686,0.0005830807,0.0001566353,0.00007450342,0.0001429138,0.0003598972,0.0006112544,0.0005262003,0.00004171688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002379748,"about_ca_system_score_gemma":0.00176269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001509868,"about_ca_topic_score_gemma":0.000007613568,"domain_scores_codex":[0.9968214,0.0002385243,0.0007054061,0.0009596075,0.0007200139,0.0005550541],"domain_scores_gemma":[0.9970579,0.0001998913,0.0005148534,0.001587389,0.0004456813,0.0001942624],"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":[0.0002001049,0.00005757955,8.638487e-8,0.0005413222,0.00009186444,0.00007790905,0.0008766385,0.000005306413,0.0004474083,0.7969109,0.1570875,0.0437034],"study_design_scores_gemma":[0.0007529982,0.0002520926,0.000001315817,0.0002137082,0.00004672477,0.00004612519,0.000001936456,0.0009048044,0.008014912,0.02537311,0.963615,0.0007772888],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001082922,0.0008070538,0.02187117,0.00003038065,0.001839479,0.001360595,0.00008942215,0.0006336717,0.9733574],"genre_scores_gemma":[0.00007384783,0.0000762039,0.1897082,0.0002185855,0.00103249,0.0001932123,0.00001984815,0.0000622532,0.8086154],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8065275,"threshold_uncertainty_score":0.999662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03202670239291956,"score_gpt":0.2804898023067568,"score_spread":0.2484630999138372,"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."}}