{"id":"W2063972032","doi":"10.1016/j.tcs.2004.09.035","title":"A behavioural pseudometric for probabilistic transition systems","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":145,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Probabilistic logic; Mathematics; Coalgebra; Functor; Equivalence (formal languages); Metric space; Modal logic; Discrete mathematics; Metric (unit); Algebra over a field; Pure mathematics; Modal; Statistics","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.007874497,0.001020909,0.001519345,0.004270452,0.002471063,0.005357291,0.002980613,0.002943746,0.006075034],"category_scores_gemma":[0.03580166,0.0008884658,0.002289972,0.003673066,0.005316569,0.014863,0.006914367,0.007152298,0.001254287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002922508,"about_ca_system_score_gemma":0.002483765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001169902,"about_ca_topic_score_gemma":0.0007377815,"domain_scores_codex":[0.9896175,0.003708705,0.001069448,0.001932547,0.002972467,0.0006994571],"domain_scores_gemma":[0.9729859,0.0146324,0.002268667,0.00251806,0.00429988,0.003295182],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004571658,0.00003574558,0.0003771833,0.00006215736,0.00001018786,0.00003801078,0.0002047125,0.002190304,0.00073154,0.9836802,0.0008987761,0.01172545],"study_design_scores_gemma":[0.00001918258,0.00009754345,0.0003641936,0.00003306088,0.00001715375,0.0001674026,0.00007383322,0.04030931,0.0006359988,0.9526153,0.00562766,0.00003943428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03471328,0.0005471348,0.9493998,0.002437674,0.0003931813,0.0001196182,0.0004556216,0.0004151306,0.01151854],"genre_scores_gemma":[0.5722201,0.001448166,0.4035078,0.001186437,0.00188759,0.001067016,0.001520846,0.0004972063,0.01666465],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007874497,"threshold_uncertainty_score":0.04164487,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01971950583662881,"score_gpt":0.2498040748160415,"score_spread":0.2300845689794127,"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."}}