{"id":"W4361272622","doi":"10.1017/s0960129523000099","title":"Behavioural equivalences for continuous-time Markov processes","year":2023,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Bisimulation; Equivalence (formal languages); Morphism; Mathematical proof; Theoretical computer science; Computer science; Equivalence relation; Mathematics; Discrete time and continuous time; Algebra over a field; Discrete mathematics; Pure mathematics","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.003917221,0.0005303409,0.0005787776,0.00166651,0.001081761,0.002637855,0.001130233,0.001322308,0.004113516],"category_scores_gemma":[0.01425367,0.0004018551,0.001556134,0.0007890862,0.004332528,0.004601298,0.003390085,0.003078659,0.0003593957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002208883,"about_ca_system_score_gemma":0.001068368,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001780784,"about_ca_topic_score_gemma":0.0007454079,"domain_scores_codex":[0.9930543,0.002059072,0.0005979968,0.001234419,0.002317685,0.0007365152],"domain_scores_gemma":[0.9896818,0.005367736,0.001167997,0.001025124,0.001880472,0.0008769021],"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.00002238399,0.00003422068,0.0002816631,0.00001848391,0.000009012927,0.00007832512,0.0003583705,0.002399322,0.0005261587,0.9930124,0.0001267838,0.003132851],"study_design_scores_gemma":[0.00001890733,0.00003637903,0.0002573172,0.00001727057,0.00001046011,0.00006149101,0.0001081644,0.02880509,0.0007081127,0.9680882,0.001875344,0.00001334334],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1861397,0.0004919496,0.7747847,0.001497363,0.0002890677,0.0002190113,0.0002288151,0.0004300735,0.03591934],"genre_scores_gemma":[0.9515927,0.0001863247,0.04347763,0.0002675262,0.0001550949,0.0002226166,0.0001949094,0.00006310792,0.003840036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004113516,"threshold_uncertainty_score":0.02071649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03218182029196753,"score_gpt":0.2961706072596858,"score_spread":0.2639887869677183,"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."}}